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 /tree.h | |
| parent | 428c995c4e697457842d00ccab6595e51b088a44 (diff) | |
| download | git-93f0d33818e94464a581209b4a102dac59db202a.tar.gz git-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 'tree.h')
0 files changed, 0 insertions, 0 deletions