Re: new gnulib/maint-tools git repository

2023-05-31 Thread 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

Re: new gnulib/maint-tools git repository

2023-05-31 Thread Paul Eggert
Thanks for doing that. I installed the attached minor changes to the EOL list. Not sure we need to do every distro, but Debian and Ubuntu surely make whatever cut we'll have. Although I had reported that Solaris 10 expired in January 2024, Oracle recently extended it by a year. So I guess our

Re: new gnulib/maint-tools git repository

2023-05-31 Thread Ben Pfaff
On Wed, May 31, 2023 at 4:39 AM Bruno Haible 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