[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new gnulib/maint-tools git repository
|
From: |
Ben Pfaff |
|
Subject: |
Re: new gnulib/maint-tools git repository |
|
Date: |
Wed, 31 May 2023 08:49:37 -0700 |
On Wed, May 31, 2023 at 4:39 AM Bruno Haible <bruno@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.