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.
