Refined GitHub Notifications
UI improvements for the new GitHub Notifications page
Refined GitHub Notifications launched on November 20, 2019 with 69 votes, #581 of 3,203 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 6 years on.
What it does
This little browser extension highlights GitHub notifications (Beta) based on importance using colors and bold text for unread notifications.
Does a similar job
all alternatives →
GitHub Notifications2016 · chromewebstore.google.com · ▲7Chrome extension to show github notification
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲339Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 27d ago · corespeed.io
Source: Product Hunt launch ↗
