[PATCH 4/4] git-remote-mediawiki: no need to update private ref in non-dumb push

From: Matthieu Moy <matthieu.moy@imag.fr>
Date: Aug 29, 2013, 18:58 UTC
Message-ID: <1377802704-30881-4-git-send-email-Matthieu.Moy@imag.fr>
In-Reply-To: <1377802704-30881-1-git-send-email-Matthieu.Moy@imag.fr>

We used to update the private ref ourselves, but this update is now done by default (since 664059fb62).

Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
---
 contrib/mw-to-git/git-remote-mediawiki.perl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/contrib/mw-to-git/git-remote-mediawiki.perl b/contrib/mw-to-git/git-remote-mediawiki.perl
index cdc278c..0b920cd 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}));
 		}
 	}

-- 
1.8.4.12.g98a4f55.dirty