[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [savannah-help-public] can't push changes to gnulib on Savannah
|
From: |
Assaf Gordon |
|
Subject: |
Re: [savannah-help-public] can't push changes to gnulib on Savannah |
|
Date: |
Fri, 25 Mar 2016 15:42:20 -0400 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
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 longer than necessary).
Can you please try again?
I'm still logged in and if there's still an issue I can look into it now.
regards,
- assaf