Is git.wikimedia.org down? I tried to look in the irc logs for mediawiki/mediawiki tech and search here, but could not find anything about it...?
Is git.wikimedia.org down? I tried to look in the irc logs for mediawiki/mediawiki tech and search here, but could not find anything about it...?