HeadlinesBriefing favicon HeadlinesBriefing.com

Bugs de comptage GitHub : PRs et organisations

Hacker News •
×

Au cours de la semaine dernière, j'ai remarqué deux bugs d'interface assez graves sur GitHub. Le premier est un surcomptage des PRs dans l'onglet d'un dépôt, particulièrement courant après avoir fusionné une PR, mais ce n'est pas le seul déclencheur. Pour ne rien arranger, le bon compte est juste là sur la page.

Le second s'est produit lors de la configuration de Sentry. J'utilise GitHub depuis 11 ans, donc j'ai trois pages d'adhésions à des organisations. Le projet pour lequel je configure Sentry est sur la deuxième page. Chrome ne vous permet pas de modifier l'adresse dans la barre pour ces fenêtres pop-up. Heureusement, vous pouvez forcer la navigation en utilisant JavaScript.

Vraiment curieux de savoir ce qui se passe là-bas—si vous avez des informations, faites-le moi savoir !