red-green-prs
A silly little project to swap the green and red on PRs in GitHub. Added lines bad. Deleted lines goood.
Rating: -
|
Version: 1.0
|
Size: 8.0KiB
|
Language(s): English
|
mail
Rating history
Rating count & user count history
Similar extensions
name | rating | # ratings | # users | categories | description | version | updated | |
---|---|---|---|---|---|---|---|---|
Bufo LGTM | 5 | 1 | 6 | Developer Tools | Replace GitHub code review icons with Bufo faces, because that's good to do. | 1.0.1 | May 8, 2024 | view details → |
Markdown to ImageTag | 5 | 1 | 22 | Tools | Replace markdown format images pasted into text areas (such as GitHub) with image tags | 1.0 | May 5, 2024 | view details → |
GitHub Action Raw Log Viewer | - | 0 | 108 | Developer Tools | Display GitHub Action Raw log in color, converting the Ansi colors to HTML | 1.1.5 | March 4, 2024 | view details → |
GitHub Merge Guardian | - | 0 | 111 | Developer Tools | Prevent incorrect merges on GitHub's pull request. | 1.2.0 | May 11, 2023 | view details → |
Quick add issue to GitHub | 3.3 | 3 | 51 | Developer Tools | Open source browser extension/addon for adding issues to Github via a browser button. | 1.5 | January 5, 2023 | view details → |
Pint for GitHub | 5 | 1 | 28 | Just for Fun | Pint for GitHub is a theming engine that allows you to customize and theme your developer experience on GitHub. | 2.0.1 | August 9, 2022 | view details → |
GitHub: Better Line Counts | 5 | 3 | 101 | Workflow & Planning | Remove generated files from GitHub line counts | 1.7.1 | April 1, 2024 | view details → |
GitHub to Linear | 5 | 3 | 109 | Developer Tools | View and create Linear tickets from any GitHub PR or issue. | 0.7.0 | June 1, 2024 | view details → |
Easy Github Repo Delete | 5 | 1 | 51 | Workflow & Planning | Helps you with deleting github repos easily | 0.2.1 | March 16, 2019 | view details → |
Make GitHub Great Again | 4.7 | 38 | 605 | Developer Tools | Extension to make GitHub great again! | 2.0.1 | August 29, 2017 | view details → |
GitHub Markdown Printer | 4.7 | 28 | 6k | Workflow & Planning | Print GitHub Flavored Markdown exactly as it appears on GitHub, with just two clicks. | 0.12 | February 17, 2024 | view details → |
Banana | - | 0 | 29 | Developer Tools | More accurately track code snippets in GitHub PR diffs. | 0.0.1 | July 12, 2016 | view details → |
GitHub Whitespace | 4.8 | 10 | 970 | Developer Tools | Redirect GitHub pull request pages to ignore whitespaces | 1.2 | September 2, 2021 | view details → |
Github Whitespace Hider | 4 | 2 | 54 | Developer Tools | Automatically hides whitespace changes in GitHub pull requests for a cleaner code review experience. | 1.0 | June 2, 2023 | view details → |
GitHub Enhancement Suite | 2 | 1 | 206 | Developer Tools | A set of tools to enhance the GitHub experience. | 0.4 | February 21, 2014 | view details → |
GitHub Compare Online | - | 0 | 34 | Developer Tools | Compare GitHub branches, commits, tags and hashes online | 0.0.6 | December 2, 2023 | view details → |
github1s Linker | - | 0 | 151 | Developer Tools | Inserts a direct link to github1s in gitHub repos | 1.0 | March 24, 2021 | view details → |
GitHub Web IDE | 4.8 | 21 | 10k | Developer Tools | Open GitHub repositories in online web IDE | 2.0.8 | June 11, 2024 | view details → |
GitHub Icon Changer | 4 | 1 | 8 | Developer Tools | GitHub file identification with GitHub Icon Changer Chrome ext. Get visually appealing icons and simplify your workflow. | 1.0 | February 15, 2023 | view details → |
Lovely forks | 4.6 | 13 | 1k | Developer Tools | Show notable forks of GitHub projects. | 3.7.3 | November 7, 2023 | view details → |
Red Border Chrome Extension | 5 | 4 | 1k | Developer Tools | Debug HTML/CSS by adding red outline to all elements | 0.0.6 | June 21, 2024 | view details → |