diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2013-09-02 09:19:48 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-09-03 11:58:17 -0700 |
commit | f19f5e60f618481a8ddb329a95a5edeecf218a29 (patch) | |
tree | f347746e636b3b89d959a1f8358d8106d3c2d7f0 | |
parent | aa38dc68ea423cddee527b3e2c1d85949783d6b9 (diff) | |
download | git-mm/mediawiki-dumb-push-fix.tar.gz |
git-remote-mediawiki: no need to update private ref in non-dumb pushmm/mediawiki-dumb-push-fix
We used to update the private ref ourselves, but this update is now
done by default since 664059fb (transport-helper: update remote
helper namespace, 2013-04-17).
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rwxr-xr-x | contrib/mw-to-git/git-remote-mediawiki.perl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/mw-to-git/git-remote-mediawiki.perl b/contrib/mw-to-git/git-remote-mediawiki.perl index 22300a1417..c9a4805ec1 100755 --- a/contrib/mw-to-git/git-remote-mediawiki.perl +++ b/contrib/mw-to-git/git-remote-mediawiki.perl @@ -1214,7 +1214,6 @@ sub mw_push_revision { } if (!$dumb_push) { run_git(qq(notes --ref=${remotename}/mediawiki add -f -m "mediawiki_revision: ${mw_revision}" ${sha1_commit})); - run_git(qq(update-ref -m "Git-MediaWiki push" refs/mediawiki/${remotename}/master ${sha1_commit} ${sha1_child})); } } |