GitHub 连数数都出错了

GitHub is having trouble counting things

过去一周，我在 GitHub 上发现了两个严重的 UI 缺陷。首先是 PR 数量统计错误，合并后显示的数字往往比实际列表多，甚至页面上明明只有一条 PR，导航栏却显示两条。其次是分页问题，我在设置 Sentry 时，由于拥有三页的 org 成员列表，却唯独无法访问第二页，Chrome 甚至不允许直接修改弹窗地址栏，只能靠 JavaScript 强制跳转。作为一个使用了 11 年的老用户，看到这些低级错误不禁让人好奇 GitHub 内部究竟发生了什么。