Back to Refined Github

Refined GitHub options

source/options.html

26.7.111.9 KB
Original Source

Capture Submit

JavaScript failed to load. Your development build failed or your browser has some issue.

πŸ”‘ Personal token

You should generate a token to ensure that every feature works correctly. You can read more about the token on the wiki.

Token-less usage is not officially supported.

🏳️ Toggle all features

If you're trying to identify a feature, please use "Identify feature" instead. Refined GitHub only implements lightweight features that are helpful to most people, even if they're tiny improvements. They're meant to "blend in" and fill in the gaps of GitHub's interface.

If you want to go through and only select a few improvements, you'll miss out on the best parts of Refined GitHub. Also note that new features will still be enabled by default and that some CSS-only refinements cannot be disabled.

Disable all featuresEnable all features

πŸ”‹ Features # πŸ”Ž Identify feature # πŸ’… Custom CSS

Like a userstyle, useful to undo unwanted style changes

Options storage: unknown

When the storage is full, the options will stop being saved. If you need to use a lot of CSS, use a dedicated userstyle extension.

πŸ› Debugging

Show the features enabled on each page in the console

Log API calls in the console

Options storage: unknown
Cache storage: unknown
Refined Github version:

Clear cache

Open welcome page

Open GraphQL tester

Toggle all features…

β˜„οΈ Hotfixes # πŸ—„οΈ Export options

You can export and import options across browsers and devices via a JSON file. If you're a GitHub Enterprise user, you will need to export each domain separately.

Note that your options include your access token if provided.

ExportImport