Ich sehe jetzt 15 Fälle von „pitchfork worker timed out“, mit zwei verschiedenen Backtraces. Auf der Linux-Seite sammelt pitchfork weiterhin nicht geerntete Kindprozesse an, und manchmal sehe ich einen git-Prozess, der – glaube ich – der Übeltäter ist.
Meine Änderung ist keine Lösung und kann hilfreich sein oder auch nicht. Ich werde sie zurücknehmen.
github selbst ist immer noch kaputt. Die Änderung auf HTTP/1.1 für git-Verbindungen könnte ein guter Workaround sein.