Lancer une synchro complète ?

Elle relit depuis GitHub toutes les PR des 12 derniers mois, dépôt par dépôt, avec leurs checks : 15 à 20 minutes. Les PR plus anciennes restent telles qu’elles ont été lues. Pendant ce temps, les autres synchros attendent leur tour et la page garde les données actuelles.

Elle doit rester exceptionnelle : seulement si des données semblent fausses ou manquantes. Pour les dernières PR, la synchro rapide suffit.

Verrouiller la page ?

Le mot de passe sera redemandé sur cet appareil pour revoir les statistiques.