Some developers prefer to deal with code using Git rather than editing directly on a wiki. This is a problem because a lot of code needs to be stored directly on a wiki.
I'm thinking a good solution to this would be if developers could clone groups of pages on a Mediawiki site to a local repository through Git.
git clone https://en.wikipedia.org/w/api.php?action=gitaccess&pages=Mediawiki:Gadget-foo.js|Mediawiki:Gadget-foo.css|Mediawiki:Gadget-foo
...which could then be edited locally and pushed directly to the wiki. For some userscripts and such, instead of each page being listed, a parent page (eg User:Foo/gadget, with contained pages being User:Foo/gadget/main.js) could be given, and each cloned page would strip the prefix, and each new page created locally in the repository would be pushed to the wiki as a subpage.
(Really, a better option for giving groups of pages would be T39865, which would solve both having to list each page and avoiding clunky titles.)
I'm unsure whether this would require T40795 to be resolved first, or whether it might be possible to just have "lossy" cloning.