GitHub is Having Trouble Counting Things
- 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.
Unverified
- 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.
Sources: Chuckgreenman