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