Re: Savannah is up again

[Carl D. Sorensen]

On 6/2/09 2:55 AM, "Johannes Schindelin" <address@hidden> 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 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.

Joe has push priveleges, and he should have that commit. ;)

I have Jon Kulp's indexing for displayMusic as the most recent commit.
Commit 0d5bfb, dated 2009-05-27 11:44:36.  I'll push that soon if Joe
doesn't push to reset it.

> 
> 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...

Amen to that!  Hooray for distributed VCS!

Carl