Yesterday I saw the following post on HackerNews:
Let's make GitHub better, together.
I saw the section on Revamping Inline Editing, and noticed one of the comments was about the way Github uses the Ace Editor.
Since I've been working with Ace some recently, I decided to work on a userscript that let's you switch themes on Github.
You can check it out here:
Here is the current description from README.md:
Add a "theme" dropdown when editing files in the Github UI.
Before installing the user script:
After installing the user script: