ZeroHour
Hacker News · AIpublished ()ingested chuckgreenman

GitHub is having trouble counting things

infoOtherimportance 5
AI summary · glm-5.3-flash

A developer documents two GitHub UI bugs: inflated pull request counts after merges and a broken pagination popup for organization memberships.

A developer describes two UI defects noticed on GitHub over the past week: repository pull request tabs showing inflated counts, commonly after merging a PR, even though the correct count is displayed elsewhere on the page. The second bug involves the organization-membership popup, where a user with three pages of memberships could not navigate to page two because Chrome prevents editing the address bar in such popup windows, forcing a JavaScript-based navigation workaround.

  • PR counts in repository tabs are overcounted, particularly after merging a pull request.
  • Organization membership popup pagination is broken; Chrome blocks address-bar edits in popups.
  • Author worked around it via JavaScript navigation and asks for insight into the cause.
ProductsGitHubChrome
OrganizationsSentry
Full article143 words · extracted from chuckgreenman.com · click to collapse

In the past week, I’ve noticed two pretty severe UI bugs in GitHub. The first is an overcounting of PRs in the tab on a repository, this is particularly common after you merge a PR, but it’s not the only trigger of this behavior. To add insult to injury, the right count is even right there on this page.

Screenshot of the GitHub PR screen on a repository where the navbar shows a count of two, but a single PR is in the list

The second occurred while I was trying to set up Sentry. I’ve been using GitHub for 11 years now, so I have collected three pages of org memberships. Unfortunately for me, the project I’m setting up Sentry for is on the second page.

Screenshot of the GitHub Organization Page where the pagination block has entries for the first and third pages, but not the second

For some reason, Chrome doesn’t let you modify the address in the bar for these pop-up windows. Luckily, you can force navigate using JavaScript.

Screenshot of the GitHub Organization Page with the pop-out Chrome DevTools setting window.location.href manually

Really curious as to what’s going on over there, if you’ve got any insight let me know!

Text extracted automatically; images, tables and formatting may be missing. Original: https://chuckgreenman.com/2026/09/16/counting-at-github