User expresses frustration that GitHub has not implemented a simple notification filter to hide merged/closed Pull Requests, despite it being highly upvoted (581 upvotes) for 3 years. Users resort to workarounds like Chrome extensions, bookmarklets, and Python scripts.
It's weird to see GitHub/Microsoft - have discussions where hundreds of developers upvote the same issue for 3 years... and nothing happens. One example: a simple notification filter to hide merged/closed PRs. 581 upvotes. Still not built. The community responded with, chrome extenstions, JavaScript bookmarklets and Python scripts just to work around a missing dropdown. Meanwhile, GitHub ships Copilot, coding agents, and vibe coding tools and they could have used them to address customer pain points. In a world where writing code has never been cheaper, the real job of engineers becomes more valuable - deciding what to build and actually listening to users. If hundreds of people are Googling and upvoting the same problem, that's not noise. That's signal. The future isn't about generating more code. It's about paying attention.