Git-Mediawiki : cloning a set of pages

Hi,

I work on the Git-Mediawiki project.
(http://lists-archives.org/git/746959-gate-between-git-and-mediawiki-remote-helpers.html).

I'm trying to establish a feature to clone and work on some pages of a
mediawiki instead of all of them.

The problem is not the feature in itself but the way you call it.
Just so you remember, here is the command  to clone the mediawiki :
git clone mediawiki::http://yourwiki.com

As it is now, git clone does not implement a way to define a set of pages.
The 2 solutions we think of are :
	* git clone mediawiki::http://yourwiki.com$$page1$$page2 ...
	Where $$ is a separator still to be determined. It should not be
something which could appear in the title of a page.
	It is a simple way to proceed but it becomes horrible when you want
to clone many pages.

	* write a git-mw-clone script which asks the user to enter a set of
pages  and may store this set of
	titles in the git config. This script should then call git-clone
which will call the remote-mediawiki functions.
	git-mw-clone would clone the entire wiki and git-mw-clone --pages
would ask the user to enter their set.
	The problem here is that a not git-like command is required.

What do you think about those solutions? Do you think of a better one?

Thank you very much.

--
Claire Fousse
Grenoble INP - Ensimag
claire.fousse@ensimag.imag.fr