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

From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Jul 16, 2012, 19:40 UTC
Message-ID: <vpqbojfv6j0.fsf@bauges.imag.fr>
In-Reply-To: <7v7gu3373x.fsf@alter.siamese.dyndns.org>

Junio C Hamano <gitster@pobox.com> writes:

Show 7 quoted lines

> Matthieu Moy <Matthieu.Moy@imag.fr> writes:
>
>> Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
>
> 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 for which I implemented is a bit particular (described below), but I'll resend with a more general explanation.

For the curious: I have a wiki with ~2Gb of mediafiles, and I want to secure it without particular access to the server. I import the wiki on a desktop machine with a large disk, and re-export it to another webserver with a small disk quota. Importing mediafiles is good because it gives me a backup, but exporting them is not an option as my quota on the webserver is too small.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/