Savannah is up again

2009-06-02 Thread Francisco Vila
As you will know, the history now on Savannah has not May from backup, is there anything we can do? I assume it will be disasterous to make pushes now. My history has: 6f1239a421e , a merge from Till as the last commit on lilypond/translation, May 28 20:10:33 b64489a34b5 , LSR: Update from Neil

Re: Savannah is up again

2009-06-02 Thread Graham Percival
According to http://savannah.gnu.org/forum/forum.php?forum_id=5828 a push is precisely what we should do -- since git is a decentralized source control system, that will upload all the missing history. HOWEVER, I'm not going to do that myself, nor do I encourage you to do so. I suggest that we

Re: Savannah is up again

2009-06-02 Thread John Mandereau
Graham Percival a écrit : According to http://savannah.gnu.org/forum/forum.php?forum_id=5828 a push is precisely what we should do -- since git is a decentralized source control system, that will upload all the missing history. Of course. Let's hope everybody who has pushed to Git between

Re: Savannah is up again

2009-06-02 Thread Graham Percival
On Tue, Jun 02, 2009 at 10:39:08AM +0200, John Mandereau wrote: Graham Percival a écrit : According to http://savannah.gnu.org/forum/forum.php?forum_id=5828 a push is precisely what we should do -- since git is a decentralized source control system, that will upload all the missing

Re: Savannah is up again

2009-06-02 Thread Johannes Schindelin
Hi, On Tue, 2 Jun 2009, John Mandereau wrote: Graham Percival a écrit : According to http://savannah.gnu.org/forum/forum.php?forum_id=5828 a push is precisely what we should do -- since git is a decentralized source control system, that will upload all the missing history.

Re: Savannah is up again

2009-06-02 Thread Francisco Vila
2009/6/2 John Mandereau john.mander...@gmail.com: Don't worry, if you have something to push, just do it; the only difference If for 'something to push' you mean 'the last month's worth of everybody's commits' then yes, I have something. But mine could not be the most uptodate history. Also, I

Re: Savannah is up again

2009-06-02 Thread Carl D. Sorensen
On 6/2/09 2:55 AM, Johannes Schindelin johannes.schinde...@gmx.de wrote: Hi, On Tue, 2 Jun 2009, John Mandereau wrote: Graham Percival a écrit : According to http://savannah.gnu.org/forum/forum.php?forum_id=5828 a push is precisely what we should do -- since git is a decentralized

Re: Savannah is up again

2009-06-02 Thread Han-Wen Nienhuys
I have pushed the web branch to commit 9585a1c690f11a983bba45108560600a4d9d2f33 Author: Harmath Dénes harmathde...@gmail.com Date: Thu May 28 04:50:24 2009 +0200 Translated help page; minor corrections please push if we have anything newer. On Tue, Jun 2, 2009 at 5:27 AM, Graham Percival