Je vois maintenant 15 cas de pitchfork worker timed out, avec deux traces de pile différentes. Côté Linux, pitchfork continue d’accumuler des processus enfants non récupérés et je vois parfois un processus git qui est, je pense, le coupable.
Ma modification n’est pas une correction et peut être utile ou non. Je vais la révoquer.
Github lui-même est toujours en panne. Le passage à HTTP/1.1 pour les connexions git pourrait être une bonne solution de contournement.