Browser extension that simplifies the GitHub interface and adds useful features
MIT License
Browser extension that simplifies the GitHub interface and adds useful features
We use GitHub a lot and notice many annoyances we'd like to fix. So here be dragons.
Our hope is that GitHub will notice and implement some of these much-needed improvements. So if you like any of these improvements, please open a discussion on GitHub feedback or contact GitHub support about doing it.
GitHub Enterprise is also supported: How to enable it.
The GITHUB and REFINED GITHUB trademarks are owned by GitHub, Inc. and used under license.
If you love Refined GitHub, consider sponsoring or hiring the maintainer @fregante
<details>
).
[
`
'
"
*
~
_
@mention
a user in issues and PRs.
d71718d
".
Recently updated
.Everything you’re involved in
and Everything you subscribed to
filters in the search box dropdown.
Projects
and Milestones
filters in issue/PR lists if they are empty.
Commits
tab page.
shift
-click another one; all the files between the two checkboxes will be marked/unmarked as “Viewed”.
develop
, release/*
, etc).patch
and .diff
files in commits.
Expand diff
button to be clickable across the screen.
Alt
-clicking the “Reblame” buttons will extract the associated PR’s commits first, instead of treating the commit as a single change.
Releases
tab and a keyboard shortcut: g r.
`text in backticks`
in some places but not others; this features fills in where forgotten.
Allow edits from maintainers
, as it’s maintainer-hostile.
<iframe>
.
is:pr
.
GitHub took inspiration from Refined GitHub and natively implemented dozens of its features, 🎉 so they've been removed from this extension. You can also see all the past features of Refined GitHub in a single list.
Most features can be disabled if they are JavaScript-based and you can override our CSS with your own in the extension options.
We're happy to receive suggestions and contributions, but be aware this is a highly opinionated project. There's a high bar for adding features. Users will always disagree with something. That being said, we're open to discussing things.