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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
