GitHubは物事のカウントに苦労している
GitHub is having trouble counting things (chuckgreenman.com)
要約
GitHubのUIで、プルリクエスト（PR）数の過剰カウントと、組織メンバーシップのページネーションにおける問題が報告されています。PRのマージ後に発生することが多い過剰カウントは、表示されている正しいカウントと矛盾する場合があります。また、組織メンバーが多数いる場合、2ページ目以降のプロジェクトへのアクセスが困難になるUI上の問題も指摘されています。これらのバグの原因について、著者は洞察を求めています。
全文翻訳
GitHubは物事を数えるのに苦労している
先週、GitHubで2つのかなり深刻なUIバグに気づきました。1つはリポジトリのタブに表示されるPR数の過剰カウントで、これはPRをマージした後に特に一般的ですが、この動作を引き起こす唯一のトリガーではありません。さらに悪いことに、正しいカウント数はこのページにすぐそこに表示されています。
［画像: リポジトリのGitHub PR画面のスクリーンショット。ナビバーには2と表示されているが、リストには1つのPRしかない］
2つ目は、Sentryを設定しようとしているときに発生しました。私は11年間GitHubを使用しており、3ページにわたる組織メンバーシップを集めてきました。残念ながら、Sentryを設定しているプロジェクトは2ページ目にあります。
［画像: GitHub組織ページのスクリーンショット。ページネーションブロックには、第1ページと第3ページの項目はあるが、第2ページはない］
何らかの理由で、Chromeではこれらのポップアップウィンドウのアドレスバーを編集できません。幸いなことに、JavaScriptを使用して強制的にナビゲートすることができます。
［画像: ポップアウトしたChrome DevToolsの設定ウィンドウで、location.hrefを手動で設定しているGitHub組織ページのスクリーンショット］
そこで何が起こっているのか本当に興味があります。もし何か洞察があれば教えてください！