git-remote-mediawiki: use --force when adding notes
authorMatthieu Moy <Matthieu.Moy@imag.fr>
Mon, 16 Jul 2012 19:46:39 +0000 (21:46 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Jul 2012 19:52:40 +0000 (12:52 -0700)
When notes are created to record a push, it normally doesn't exist yet.
However, when a push is interrupted and then restarted, it may happen
that a commit already has notes attached, and we want to reflect the newly
created remote revision, hence use 'git notes add -f' to override the
existing one

Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/mw-to-git/git-remote-mediawiki

index fb1e9e09e48d7e473dc3443a2e7d69a43f036e63..517a4db3ff50a400e5603c95b02fb59a552bd700 100755 (executable)
@@ -1263,7 +1263,7 @@ sub mw_push_revision {
                        }
                }
                unless ($dumb_push) {
-                       run_git("notes --ref=$remotename/mediawiki add -m \"mediawiki_revision: $mw_revision\" $sha1_commit");
+                       run_git("notes --ref=$remotename/mediawiki add -f -m \"mediawiki_revision: $mw_revision\" $sha1_commit");
                        run_git("update-ref -m \"Git-MediaWiki push\" refs/mediawiki/$remotename/master $sha1_commit $sha1_child");
                }
        }