[PATCH 5/8] git-remote-mediawiki: use --force when adding notes

2012-07-16 Thread Matthieu Moy
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

[PATCH 5/8] git-remote-mediawiki: use --force when adding notes

2012-07-16 Thread Matthieu Moy
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