Re: Git-Mediawiki : cloning a set of pages

quoted

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.

[...]

Well, what you need to do is to implement API for partial _clone_ (we
have some SPI for partial checkout, but that is slightly different
beast).

Currently we have --depth=<n> to limit depth of history when cloning,
and "git remote add -t <branch>" (repeated if necessary) to consider
only a subset of branches, though unfortunately not in "git clone"
yet.

Not what you wanted to hear, I guess... :-(

Yes, not really what I wanted to hear, but I had the feeling it would
go this way =).

Our school project ends tomorrow, so starting tomorrow we will have less time
to work on this.

We chose to implement the first solution with ##:
git clone mediawiki::http://yourwiki.com##page1##page2..
This way that feature can be used for now, and It will be really
simple to change the
command later.

-- 
Claire Fousse
Grenoble INP - Ensimag
2A Télécommunication
claire.fousse@ensimag.imag.fr