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. > > > > Of course. Let's hope everybody who has pushed to Git between last backup on > Savannah and the crash will push his/her changes again soon. Only the latest commit needs to be pushed, as it _needs_ to know (and have) its complete commit history. I just checked, and the newest commit (master) my mirror here (which fetches every 2 hours, I think) has is 5110f48(Fix 739.) of Joe Neeman. So if somebody with push privileges on savannah has that commit, just push it and everything will be fine. Even if somebody pushed an older commit, and a new commit on top of it, it is nothing dramatic. That is just another branch, and merging it with a branch containing 5110f48 will fix it all (and make it a fast-forward for everyone who has 5110f48 already). Oh, and congratulations that you have Git as VCS, not Subversion or CVS... Ciao, Dscho
_______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
