Re: git push permissions

2010-10-10 Thread Ralf Wildenhues
Hello, * Bruno Haible wrote on Sun, Oct 10, 2010 at 05:49:06PM CEST: > 3. to make a new git checkout of gnulib with the non-anonymous method > (see ). This is not necessary. Once Bruce has the required permission, he can git remote add write

Re: git push permissions

2010-10-10 Thread Bruno Haible
Bruce Korb wrote: > Also, I tried. Can you please fix access? > > $ git push > fatal: The remote end hung up unexpectedly This is because you are not in the group of "members" of gnulib at https://savannah.gnu.org/projects/gnulib . If you want to have write access to the gnulib repository, you n