Marek Paśnikowski schreef op ma 04-04-2022 om 18:21 [+0200]:
> 3. How do I declare a local repository?

The same way as an external repository.  Just replace the "https://..."
of the repo at savannah with
"file://home/user/location/of/git/repository".  But yes, this could be
documented ...

Greetings,
Maxime.