Userscript that makes sure that GitHub stays a work tool and doesn't turn into a social media website
当前为 2023-02-10 提交的版本，查看 最新版本。
这些是此脚本变更过代码的版本。 显示所有版本。
document-start
document-end
