>> 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@xxxxxxxxxxxxxxx -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html