GitHub Notifications
☆
I get many notifications on GitHub that I care very little about, but some of them I care very much about and want to hang onto.
So I currently have two practical options.
Migrate the important ones to other to-do managers or otherwise track them, and use “Mark All as Read” often.
Delete unimportant notifications and keep the ones I care about.
Neither is a perfect solution, as #1 involves significant work and #2 is a kind of mild data loss. (If a collaborator mentions a recent change I wanted to quickly find via the notification, I might have to go to the right project, branch, and then commit, instead of just scanning recent notifications.)
I suggest that GitHub allow me to star ★, flag ⚐, or pin important notifications while automatically marking all displayed notifications as “read” when I visit my notifications page.
This would allow a maximum of functionality (and flexibility) with a minimum of work.
★
