Subject: Re: bug#54711: Bad Documentation Series: 6.1 Specifying Additional Channels

From: Maxime Devos <[email-masked]>
Date: Mon, 04 Apr 2022 19:53:08 +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 ...

Greetings,
Maxime.