On 11/03/13 08:15, Ori Livneh wrote:
- Getting a snapshot from GitHub would probably work,
but I am loathe to depend on it.
We now depend on GitHub for ExtensionDistributor. I don't think it's
such a bad thing. External services can be a nasty trap when they have
the only copy of your data and it's difficult to get it out, but for a
git mirror, it's no big deal. We can always make our own non-jgit
mirror of our Git repository if GitHub stops existing.
-- Tim Starling