Hacker News·1 min read
GitHub Is Having Trouble Counting Things
C
chuckgreenman
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.
✦
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in