Disruption with some GitHub services

Resumo

We are investigating intermittently high latency and errors from Git operations.