GitHub разучился считать: в интерфейсе всплывают серьёзные баги

GitHub is having trouble counting things

За последнюю неделю автор заметил два серьёзных UI-бага в GitHub: вкладка репозитория показывает завышенное число PR (хотя верный счётчик виден на той же странице), а в списке организаций пропала вторая страница пагинации. Из-за этого настроить Sentry для нужного проекта удалось только через ручную навигацию в JavaScript. Автор спрашивает, сталкивались ли другие с подобным.