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

2016-03-25 Thread 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: 10

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

2016-03-25 Thread Assaf Gordon
Hello, On 03/25/2016 03:33 PM, Paul Eggert wrote: fatal: Unable to create '/srv/git/gnulib.git/refs/heads/master.lock': File exists. I've just checked and the file is no longer there (the vcs server is at avg load of 34.48, 51.90, 52.94 with only 7 cpus - so perhaps things are taking much l

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

2016-03-25 Thread 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