GIT is down

[Valentin Kulichenko]

Does anyone know why GIT repo doesn't respond? Should we file a ticket to
INFRA?

--
Val