Maxime Devos schreef op ma 04-04-2022 om 19:53 [+0200]: > 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 ... Or simpler: "/home/user/location/of/..." might work too ...