Incident GitHub - Résultats incomplets des pull requests dans les dépôts

Il y a actuellement une panne sur la recherche de PR de GitHub.

GitHub a annoncé qu’une reconstruction de l’index ElasticSearch est en cours et qu’un rétablissement complet est attendu sous environ 24 heures.
Les données des PR elles-mêmes ne sont pas perdues ; seuls certains éléments manquent dans l’affichage des pages.

[Cause]
Le cluster ElasticSearch ne contient qu’une partie des documents de PR indexés.
Les données elles-mêmes ne sont pas perdues. Certains éléments manquent uniquement dans l’affichage des pages.

[Chronologie — KST]
• 28/04 23:17 — Signalement d’une dégradation des performances, début de l’enquête
• 28/04 23:51 — Cause identifiée (absence partielle dans l’index ES), lancement d’un reindex accéléré
• 29/04 00:58 — Reindex en cours, priorité à la cohérence
• 29/04 06:43 — Publication d’une solution de contournement
• 29/04 07:46 — Déploiement d’une mitigation temporaire (sur certains dépôts)
• 29/04 09:40 — Rétablissement complet attendu sous environ 24 heures

[Solution de contournement — si vous avez besoin de la liste des PR maintenant]
• gh CLI: gh pr list
• API REST: /repos/{owner}/{repo}/pulls
Ces deux méthodes ne dépendent pas d’ES et fonctionnent normalement.