GitHub Users Report UI Bugs in PR Counts and Org Membership Pagination
A developer flagged two recurring GitHub interface bugs: one that overcounts pull requests in the repository tab, especially after merges, even though the correct count appears elsewhere on the same page, and another affecting a pop-up window for org membership selection that fails to properly paginate, blocking access to org pages beyond the first. The user worked around the pagination issue by using JavaScript to force navigation within the pop-up, since Chrome wouldn't allow manual editing of its address bar.