Ahora veo 15 casos de «pitchfork worker timed out», con dos trazas de pila (backtraces) diferentes. En el lado de Linux, pitchfork sigue acumulando procesos hijos no recolectados y a veces veo un proceso de git que, creo, es el culpable.
Mi cambio no es una solución y puede que sea o no útil. Lo revertiré.
El propio equipo de GitHub sigue roto. El cambio a HTTP/1.1 para las conexiones de git podría ser una buena solución alternativa.