When clicking the notifications icon, displays notifications in a dropdown pane, without leaving the current page.
< Rückmeldungen auf Github Notifications Dropdown
The repo for this is at https://github.com/joeytwiddle/code/blob/master/other/gm_scripts/github_notifications_dropdown/github_notifications_dropdown.user.js
It's in the Dev's profile:
https://greasyfork.org/en/users/8615-joeytwiddle
Dev appears to be busy though:
https://github.com/joeytwiddle/code/issues/9
Yeah, busy slaying! https://github.com/joeytwiddle Just kidding ;-)
Contributions welcome to: https://github.com/joeytwiddle/code/blob/master/other/gm_scripts/
One day I should move all those to a separate repo / repos.
Can you open a repo so people can open PRs?
Sorry if this is annoying, but would make it easier to report/make suggested changes.