[savannah-help-public] [sr #109001] State of WebGit

URL: Summary: State of WebGit Project: Savannah Administration Submitted by: siko1056 Submitted on: Fri 25 Mar 2016 09:35:43 PM CET Category: Webpages repositories

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

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

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

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

Re: [savannah-help-public] gneuralnetwork git repository

Hello Bob, MANY thanks for dealing with the repo! I checked it and it seems that everything works fine. Thanks also about the announcement to the mailing list! Best, JM 2016-03-24 22:40 GMT+01:00 Bob Proulx : > Hello JM, > > Jean Michel Sellier wrote: > > Bob Proulx wrote: > > > Since this