Re: [savannah-help-public] can't push changes to gnulib on Savannah

[Paul Eggert]

On 03/25/2016 12:42 PM, Assaf Gordon wrote:
> Can you please try again? 

It's OK now, though the symptoms were weird.  Before I got your email I 
saw this:

$ git push
Counting objects: 10, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (10/10), done.
Writing objects: 100% (10/10), 2.54 KiB | 0 bytes/s, done.
Total 10 (delta 8), reused 0 (delta 0)
fatal: Unable to create '/srv/git/gnulib.git/refs/heads/master.lock': 
File exists.

If no other git process is currently running, this probably means a
git process crashed in this repository earlier. Make sure no other git
process is running and remove the file manually to continue.
fatal: The remote end hung up unexpectedly
fatal: The remote end hung up unexpectedly
$


Now, after I got your email I saw this:

$ git push
Everything up-to-date
$

and indeed the new revisions were pushed.