GitHub tiene problemas para contar cosas

GitHub is having trouble counting things

En la última semana, el autor detectó dos bugs graves en la interfaz de GitHub. El primero es un recuento excesivo de PRs en la pestaña de un repositorio, que ocurre sobre todo tras fusionar una PR, aunque el número correcto aparece en la misma página. El segundo surgió al configurar Sentry: la paginación de organizaciones mostraba la primera y la tercera página, pero no la segunda, lo que obligó a navegar manualmente con JavaScript. El autor pide ideas sobre qué está pasando.