github-editor-theme.user.js. Add a "theme" dropdown when editing files in the Github UI.

github.com/skratchdot/github-editor-theme.user.js

Problem

Audience

Updates

No founder updates yet. Check back soon.