Re: new gnulib/maint-tools git repository

[Bruno Haible]

Ben Pfaff wrote:
> I did not know that Savannah supported more than one
> repository per project.

In https://git.savannah.gnu.org/cgit/ you can see that hurd, emacs, and poke
(in particular) have several git repos.

> It might be hard even for gnulib maintainers to notice it. I suggest
> updating https://www.gnu.org/software/gnulib/ to mention it, and to
> point to it from an appropriate place inside Gnulib also.

Well, no. https://www.gnu.org/software/gnulib/ is where users look at,
and users should read our documentation, not peek into the tools that
we use to create the documentation.

Bruno