Re: [RFC/PATCH] git-remote-mediawiki: reset private ref after non-dumb push
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 26, 2013, 16:26 UTC
- 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.