[PATCH 3/8] git-remote-mediawiki: make mediafiles export optional

2012-07-16 Thread Matthieu Moy
Signed-off-by: Matthieu Moy --- contrib/mw-to-git/git-remote-mediawiki | 24 ++-- 1 file changed, 22 insertions(+), 2 deletions(-) diff --git a/contrib/mw-to-git/git-remote-mediawiki b/contrib/mw-to-git/git-remote-mediawiki index a2da52f..8e46e4e 100755 --- a/contrib/mw-to-

[PATCH 3/8] git-remote-mediawiki: make mediafiles export optional

2012-07-16 Thread Matthieu Moy
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 suppor

Re: [PATCH 3/8] git-remote-mediawiki: make mediafiles export optional

2012-07-16 Thread Junio C Hamano
Matthieu Moy writes: > Signed-off-by: Matthieu Moy It would have been nicer to hint why people may want to omit mediafiles from their export under what condition somewhere in the documentation or at least in the proposed commit log message. -- To unsubscribe from this list: send the line "unsub

Re: [PATCH 3/8] git-remote-mediawiki: make mediafiles export optional

2012-07-16 Thread Matthieu Moy
Junio C Hamano writes: > Matthieu Moy writes: > >> Signed-off-by: Matthieu Moy > > It would have been nicer to hint why people may want to omit > mediafiles from their export under what condition somewhere in the > documentation or at least in the proposed commit log message. The real use-case