Closed dumptyd closed 4 years ago
It is offered as a user script as well. Check out the top section of the README, the user script is in the css folder
Maybe I'm looking in the wrong place but here https://github.com/daattali/oldschool-github-extension/tree/master/css I only see a user style and those can't be used with userscript managers.
Oh a user style and a user script are not the same thing? I'm not familiar with user scripts as I never used one, I'd be happy for a PR to create that in the same way the user style is generated
I use Tampermonkey for my site customization needs. It would be nice if this was provided as a userscript as well so I could just use the extension that I already have instead of installing a userstyle manager.