Re: multiple repos?

2022-11-22 Thread Bob Proulx
Yoni Rabkin wrote: > Bob Proulx writes: > > I am not trying to talk you out of a separate repository but one could > > use a separate branch for this. > > I'll consider that as well, especially if it means less work for the > admins. It's easy to create additional repositories. A lot of projects

Re: multiple repos?

2022-11-22 Thread Yoni Rabkin
Bob Proulx writes: > Yoni Rabkin wrote: >> Is there a way to have more than one git repo for a project? > > Yes. On the admin side this is explained in some detail here. > > https://savannah.gnu.org/maintenance/Git/ > > Simply ask and one of the Savannah admins will create the additional > r