Aha, merci ! Il semble que GitHub ait besoin d’au moins 8 caractères du hash de commit en raison de la taille de notre dépôt. As-tu vu e7c7262 quelque part dans notre interface ? Si c’est le cas, nous devrions augmenter le nombre de caractères affichés ![]()
En tout cas, tu as bien la correction, donc il doit y avoir autre chose qui se passe ici. Pourrais-tu demander à un utilisateur concerné de partager son User Agent exact ? Tu peux le trouver comme ceci.