Refined GitHub is a Safari extension that simplifies the GitHub.com interface and adds useful features. The tool linkifies issue/PR references and URLs in code, makes white-space characters visible, and reduces tabs’ size to 4 spaces instead of 8. In addition, it adds one-click merge conflict fixers, reaction avatars showing who reacted to a comment, a button to revert all the changes to a file in a PR, a build/CI status icon next to the repo’s name, and a button to view the source of Markdown files. Furthermore, it shows PRs that touch the current file, highlights the most useful comment in conversations, shows the first Git tag a merged PR was included in, adds a link to an automatic changelog for each tag/release, displays the age of the repository in the sidebar, and more.
Adds a simple search box to limit the search to the desired GitHub wiki page.
Comments