Ora sto vedendo 15 casi di pitchfork worker timed out, con due backtrace diversi. Sul lato Linux, pitchfork continua ad accumulare figli non raccolti (unreaped children) e a volte vedo un processo git che, a mio avviso, è il colpevole.
Il mio cambiamento non è una soluzione e potrebbe o meno essere utile. Lo annullerò.
Anche GitHub stesso è ancora bloccato. Il passaggio a HTTP/1.1 per le connessioni git potrebbe essere una buona soluzione alternativa.