Hello,
I'm in the process of re-working mediawiki-vagrant, which is a set of scripts for
provisioning a virtual machine for MediaWiki development. I'm struggling to identify
the best way of fetching mediawiki/core.
An ideal solution would have the following attributes:
- Fast.
- Includes .git metadata, to facilitate contribution of patches.
- Viable on slow network connections.
- Does not require a Gerrit account (to help newcomers get started quickly)
What I tried:
- A shallow (--depth=0) git-clone over HTTPS took around half an hour and required
transferring 272MB, with 200MB taken up by .git/objects/pack.
- The nightlies on
integration.mediawiki.org are small (18MB) and easy to retrieve, but
the most recent one is from December, and they don't contain any .git metadata.
- The snapshots Krinkle maintains on the toolserver are both small and up-to-date, but
they too do not contain any .git metadata.
- The snapshot link on
http://www.mediawiki.org/wiki/Download
(
https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=snapshot;h=ref…)
just didn't work. It hangs for a while and then spits out HTML.
- Getting a snapshot from GitHub would probably work, but I am loathe to depend on it.
Does anyone have any suggestions?
--
Ori Livneh