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 wait for the main git people on this list to comment, and/or do it themselves. :) Cheers, - Graham On Tue, Jun 02, 2009 at 10:24:02AM +0200, Francisco Vila wrote: > 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 on master, May 28 20:10:33 > 6cef87488b25 ES: updates from <me> on web, May 28 13:51:13 > > -- > Francisco Vila. Badajoz (Spain) > www.paconet.org > > > _______________________________________________ > lilypond-devel mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/lilypond-devel _______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
