diff options
| author |  Matthieu Moy <Matthieu.Moy@imag.fr> | 2011-09-01 18:54:56 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2011-09-01 15:52:57 -0700 |
| commit | 93f0d33818e94464a581209b4a102dac59db202a (patch) | |
| tree | 1515e7cdfdd2cfa49da95c05fabf21a4fe80a066 /write_or_die.c | |
| parent | Add a remote helper to interact with mediawiki (fetch & push) (diff) | |
| download | tgif-93f0d33818e94464a581209b4a102dac59db202a.tar.xz | |
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>
Diffstat (limited to 'write_or_die.c')
0 files changed, 0 insertions, 0 deletions