Userscript that makes sure that GitHub stays a work tool and doesn't turn into a social media website
As of 10. 02. 2023. See the latest version.
These are versions of this script where the code was updated. Show all versions.
document-start
document-end
