Follow-up Comment #7, sr #110553 (project administration):
[comment #5 comment #5:]
> AFAIK https://git.savannah.gnu.org/git lists all Git repositories on
Savannah. This feature is managed separately for each repository. I didn't
turn it all for all Savannah repositories because I wasn't sure th
Follow-up Comment #6, sr #110553 (project administration):
[comment #5 comment #5:]
> AFAIK https://git.savannah.gnu.org/git lists all Git repositories on
Savannah. This feature is managed separately for each repository. I didn't
turn it all for all Savannah repositories because I wasn't sure t