[sr #110841] Need a new git repository in project gnulib

[Bruno Haible]

URL:
  <https://savannah.nongnu.org/support/?110841>

                 Summary: Need a new git repository in project gnulib
                 Project: Savannah Administration
               Submitter: haible
               Submitted: Mon 13 Feb 2023 02:12:19 PM CET
                Category: Source code repositories - developer access
                Priority: 5 - Normal
                Severity: 3 - Normal
                  Status: None
             Assigned to: None
        Originator Email: 
        Operating System: None
             Open/Closed: Open
         Discussion Lock: Any


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Mon 13 Feb 2023 02:12:19 PM CET By: Bruno Haible <haible>
Hi

I just learned from https://savannah.nongnu.org/support/?110826 that it is
possible to have "satellite" repositories in the same project, e.g.
https://git.savannah.gnu.org/gitweb/?p=poke/poke-elf.git =
https://git.savannah.gnu.org/cgit/poke/poke-elf.git/

For the gnulib project, I would like to have the same thing: a "satellite"
repository named gnulib/maint-tools.git . Initially empty.

Thank you!







    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/support/?110841>

_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/