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

[Paul Eggert]

I ran this from a Gnulib source directory on my machine 
(penguin.cs.ucla.edu):

$ 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)


This took a very long time (multiple minutes) so eventually I gave up 
and typed Control-C. Now I cannot commit anything. (I guess I learned my 
lesson! :-)  The symptoms are:

$ 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
$ git push
[This has currently hung for at least a minute.]