On Wed, May 31, 2023 at 4:39 AM Bruno Haible <br...@clisp.org> wrote: > We now have a separate git repository for gnulib maintainer tools. > I asked the savannah admins to create the repository and filled it > with the following tools:
That is super! I did not know that Savannah supported more than one repository per project. 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.