Agora estou vendo 15 casos de pitchfork worker timed out, com duas backtraces diferentes. No lado do Linux, o pitchfork continua acumulando processos filhos não colhidos (unreaped children) e às vezes vejo um processo git que, acredito, é o culpado.
Minha alteração não é uma correção e pode ou não ser útil. Vou reverter.
O próprio github ainda está quebrado. A mudança para HTTP/1.1 nas conexões git pode ser uma boa solução alternativa.