git-remote-mediawiki: allow push to set MediaWiki metadata
authorMatthieu Moy <Matthieu.Moy@imag.fr>
Thu, 1 Sep 2011 16:54:56 +0000 (18:54 +0200)
committerJunio C Hamano <gitster@pobox.com>
Thu, 1 Sep 2011 22:52:57 +0000 (15:52 -0700)
commit93f0d33818e94464a581209b4a102dac59db202a
tree1515e7cdfdd2cfa49da95c05fabf21a4fe80a066
parent428c995c4e697457842d00ccab6595e51b088a44
git-remote-mediawiki: allow push to set MediaWiki metadata

Push can not set the commit note "mediawiki_revision:" and update the
remote reference. This avoids having to "git pull --rebase" after each
push, and is probably more natural. Make it the default, but let it be
configurable with mediawiki.dumbPush or remote.<remotename>.dumbPush.

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