GitHub Dark Script

GitHub Dark in userscript form, with a settings panel

As of 14. 10. 2018. See the latest version.