From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 26 Aug 2013 16:26:38 GMT
Subject: Re: [RFC/PATCH] git-remote-mediawiki: reset private ref after non-dumb push
Message-ID: <xmqqmwo4ifk1.fsf@gitster.dls.corp.google.com>
In-Reply-To: <vpqhaeckfbh.fsf@anie.imag.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> Not updating was the default until 664059fb62 (i.e. until 1.8.4), so the
> default already changed once. I tend to agree with Felipe that doing the
> update by default makes sense.

OK.  Thanks.

> git-remote-mediawiki is kind of a special case, as the remote side uses
> a very different data model, hence it can make sense to export+reimport
> to get locally what the remote side received.

Hmm, I am not sure how export+reimport would not make sense for
others like cvs and p4.

> But when interacting with something closer to Git (bzr, hg, ...),
> the mapping should be close to 1-1 and re-importing wouldn't make
> sense.

I agree if your argument is that re-importing should result in an
identitical result hence is unnecessary.