Thread:Project:Current issues/git.wikimedia.org down

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...?