GitHub Is Having Trouble Counting Things
3 hours ago
- GitHub has a UI bug where the PR count in a repository tab overcounts, especially after merging a PR.
- Another bug occurs when setting up Sentry: org memberships are paginated, but Chrome's pop-up windows prevent modifying the address bar, forcing workarounds like JavaScript navigation.
- The author expresses curiosity about the cause of these bugs and invites insights.