Les problèmes GitHub sont maintenant beaucoup plus rapides. Beaucoup d'améliorations de performance dans la file d'attente.