git-remote-mediawiki: make mediafiles export optional
commit2045e293eb69204ac06910c7570718efb09b7059
authorMatthieu Moy <Matthieu.Moy@imag.fr>
Mon, 16 Jul 2012 19:46:37 +0000 (16 21:46 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Jul 2012 19:52:40 +0000 (16 12:52 -0700)
treed1c02b7c6fd3d1c5437dcf6ee3eedb1527906cfd
parentdcb1ea620d1e8bd1d7e7622b7ca69050d0c119d7
git-remote-mediawiki: make mediafiles export optional

It is possible to use git-remote-mediawiki on a tree with both .mw files
and other files. Before git-remote-mediawiki learnt how to export
mediafiles, such mixed trees allowed the user to maintain both the wiki
and other files for the same project in the same repository. With the
newly added support for exporting mediafiles, pushing such mixed trees
would upload unrelated files as mediafiles, which may not be desired.

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