Hide bot's and github-actions' push from dashboard news

When clicking the notifications icon, displays notifications in a dropdown pane, without leaving the current page.

A userscript that adds global diff file toggles

A userscript that adds a color picker to the label color input

A userscript that highlights filename & permission alterations

A userscript adds a copy to clipboard button on hover of markdown code snippets

A userscript that allows you to indent & outdent blocks in the comment editor

A userscript that adds a button to insert a details block into comments

A userscript that adds clickable image thumbnails

A userscript that allows you to customize GitHub's main navigation bar

A userscript that adds a font file preview

A userscript that can check a repo, folder, file or branch for updates

A userscript that adds "unknown license" message in repos with no license set

A userscript adds all mentioned links in the side bar

A userscript that adds a table of contents to readme & wiki pages

A userscript that adds filters that toggle the view of repo files by extension

A userscript that toggles issues/pull request comments & messages

A userscript that replaces relative times with a static time formatted as you like it

A userscript that hides your own repo metadata in the GitHub feed

A userscript that shows whitespace (space, tabs and carriage returns) in code blocks

A userscript that adds a header that can toggle long code and quote blocks in comments

A userscript that makes some lists & markdown tables sortable

A userscript adds download links so that downloaded filenames include the SHA

A userscript that adds links to diff and pull request headers to jump back & forth between files

A userscript that adds code folding to GitHub files