commit | 93f0d33818e94464a581209b4a102dac59db202a | [log] [tgz] |
---|---|---|
author | Matthieu Moy <Matthieu.Moy@imag.fr> | Thu Sep 01 18:54:56 2011 +0200 |
committer | Junio C Hamano <gitster@pobox.com> | Thu Sep 01 15:52:57 2011 -0700 |
tree | 1515e7cdfdd2cfa49da95c05fabf21a4fe80a066 | |
parent | 428c995c4e697457842d00ccab6595e51b088a44 [diff] |
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>