Re: [Wikimania-l] git.wikimedia.org dead due to wikimania ;)