Re: [Wikitech-l] git.wikimedia.org dead?