Pint for GitHub
Pint for GitHub is a theming engine that allows you to customize and theme your developer experience on GitHub.
Rating history
Rating count & user count history
Similar extensions
| name | rating | # ratings | # users | categories | description | version | updated | |
|---|---|---|---|---|---|---|---|---|
Daily Wisdom | - | 0 | 82 | Workflow & Planning | Advice is only as good as what you paid for it, and this is a free extension. Essentially every time you open up a new tab, a… | 1.1.0 | June 29, 2023 | view details → |
Devbox | 3.5 | 2 | 163 | Developer Tools | A UI for local storage | 1.3 | July 13, 2022 | view details → |
Github NavBar Color Reversal | - | 0 | 2 | Workflow & Planning | Recently GitHub changed its nav bar color to shade of black (#1e2327). This extension reverts GitHub nav bar color to original. | 0.0.2 | February 10, 2017 | view details → |
Wrap · Screenshot Capture & Editor | 4.2 | 5 | 399 | Workflow & Planning | Capture and edit beautiful, shareable product screenshots. | 2.1.1 | November 8, 2022 | view details → |
Slapdash New Tab | 5 | 4 | 329 | Workflow & Planning | Slapdash - the operating system for work | 2.10.179 | July 22, 2022 | view details → |
github-flat | 5 | 1 | 9 | Workflow & Planning | Makes Github.com flat | 0.1.0 | January 1, 2017 | view details → |
share spot | 5 | 2 | 62 | Tools | share web content through beautiful picture. | v0.2.0 | April 25, 2024 | view details → |
I H8 CHANGES | - | 0 | 0 | Developer Tools | Changes the GitHub header back to the lighter version. | 1.0 | February 10, 2017 | view details → |
GitExtension | - | 0 | 13 | Just for Fun | Github Extension! | 1.1 | March 28, 2019 | view details → |
IntentSeek | 4.8 | 9 | 137 | Accessibility | Highlight the text you want efficiently to summarise or analyse in order to reveal the hidden message or underlying intent. | 0.0.2 | June 24, 2023 | view details → |
Stylize GitHub | - | 0 | 1 | Developer Tools | Tweaks the styling of https://github.com. | 0.1.0 | September 5, 2018 | view details → |
GitHub One Click Comment | 5 | 1 | 3 | Developer Tools | Injects comment buttons with custom, predefined text into the GitHub comment bar. | 1.0 | June 20, 2017 | view details → |
GitHub PR Template Picker | - | 0 | 11 | Developer Tools | A browser extension that allows you to select GitHub PR templates | 0.1.0 | March 19, 2021 | view details → |
GitHub issues user icon | - | 0 | 22 | Workflow & Planning | An extension to show author icon to GitHub's issues and pull requests pages. | 0.1.5 | July 6, 2022 | view details → |
Followed By | 5 | 4 | 42 | Developer Tools | Followed By uses GitHub’s public API to fetch mutual followers for every profile you visit, straight to the profile page! | 1.0.1 | July 20, 2022 | view details → |
ZenTube | 5 | 3 | 98 | Workflow & Planning | Zen mode for YouTube | 1.1.4 | April 20, 2023 | view details → |
GitHub Recommender | 5 | 6 | 482 | Developer Tools | Get similar repositories on GitHub page | 1.2.0 | August 6, 2022 | view details → |
Outline: quick notes | 5 | 4 | 249 | Education | An extension that let you save you quick notes while browsing | 1.1.0 | March 22, 2022 | view details → |
Browser Extension | 5 | 1 | 106 | Workflow & Planning | Siimpl Browser Extension | 2.0.3 | March 17, 2023 | view details → |
Custom Code Injector | 4.7 | 3 | 308 | Developer Tools | Run custom javascript and css in a webpage with ease | 1.0.0 | June 21, 2023 | view details → |
The Internet Archivist's Intrepid Extension | 4.5 | 2 | 68 | Tools | Save the pages you visit on the Wayback Machine while browsing the World Wide Web. | 2.0.0 | September 11, 2018 | view details → |
Codesnip - Increase your productivity | 5 | 4 | 169 | Developer Tools | Codesnip.net is a snippet manager designed to increase your productivity as a developer! | 1.2 | August 19, 2022 | view details → |
Glitter | 5 | 3 | 197 | Social Networking | 25+ customizable themes for Twitter. Add your own flair to Twitter with an easy-to-use theme editor. | 2.0.0 | August 30, 2023 | view details → |
PromptPal | - | 0 | 234 | Art & Design | The ultimate idea generator for your Midjourney photos! | 1.0 | March 30, 2023 | view details → |
Pure YouTube GUI | - | 0 | 4 | Accessibility | Pure GUI | 1.0 | October 30, 2018 | view details → |
spring-github | 5 | 1 | 1 | Workflow & Planning | github spring theme | 1.0 | February 25, 2018 | view details → |
GitHub Private New | - | 0 | 6 | Accessibility | GitHub Private New | 0.1.2 | April 19, 2019 | view details → |
GitHub Custom Notifier | 5 | 1 | 15 | Tools | Customize which GitHub Event to be notified. | 0.0.4 | July 12, 2024 | view details → |
TeamCity Pull Request Builder | 5 | 1 | 8 | Developer Tools | With a plugin, you can automatically trigger builds of your project that are associated with a specific pull-request. | 2.2.2 | April 22, 2024 | view details → |
NoMerge | - | 0 | 1 | Developer Tools | Replace the GitHub merge button, with something else, to stop pesky trigger happy developers. | 1.0 | February 23, 2021 | view details → |
GitHub PR Templates | - | 0 | 22 | Developer Tools | Easily apply GitHub PR templates when creating new pull requests in the browser. | 1.3.0 | July 28, 2022 | view details → |
[$] givebk.io | - | 0 | 4 | Developer Tools | givebk allows you to send and receive money through github issues. | 0.0.1 | April 28, 2022 | view details → |
Contributions Are Work | 5 | 2 | 0 | Developer Tools | Makes Github contribution graph look more like work by making it red. | 2.0 | September 18, 2016 | view details → |
DEVRadar | 5 | 1 | 15 | Workflow & Planning | DEVRadar helps you to find & profile Github developer on any given page. | 1.4 | June 13, 2021 | view details → |
Github Background Color Changer | - | 0 | 0 | Workflow & Planning | This extension changes github background color according to the organization/username pattern. | 1.6 | October 23, 2020 | view details → |
GitHub Editor Zen Mode | - | 0 | 1 | Workflow & Planning | Add a button to the GitHub editor to toggle zen mode | 1.0.0 | March 14, 2023 | view details → |
Github Opportunities | - | 0 | 5 | Developer Tools | Github Opportunities | 1.0 | May 2, 2021 | view details → |
GitHub Settings | - | 0 | 3 | Developer Tools | GitHub Settings | 1.0 | November 23, 2017 | view details → |
Github Teams | 5 | 1 | 16 | Workflow & Planning | Github Teams - Utility to help you manage your team members' PRs and Issues. | 1.0.18 | November 20, 2023 | view details → |
GitHub Timestamp Privacy | - | 0 | 1 | Developer Tools | GitHub Privacy redacts commit and comment creation dates on GitHub. You can choose the level of redaction. | 2.0 | August 19, 2022 | view details → |
GitNub | - | 0 | 2 | Developer Tools | a github.com helper/dev tool | 0.0.4 | September 27, 2021 | view details → |
Merge Protector for Github | - | 0 | 4 | Developer Tools | Allows you to specify repositories and branches with the ways you'd like to merge. | 1.1.0 | November 29, 2022 | view details → |
OhMyGist | - | 0 | 4 | Workflow & Planning | OhMyGist: Makes the Github Gist editor the proper height, so you can do some editing. | 0.1.1 | April 20, 2023 | view details → |
Pull Favors | 5 | 2 | 4 | Developer Tools | GitHub Pull-Request Beautifier | 1.1.0 | August 16, 2017 | view details → |
red-green-prs | - | 0 | 0 | Just for Fun | A silly little project to swap the green and red on PRs in GitHub. Added lines bad. Deleted lines goood. | 1.0 | April 9, 2020 | view details → |
Refined GitLab | - | 0 | 14 | Workflow & Planning | 🏷 Make your GitLab experience better! | 0.8.0 | January 24, 2021 | view details → |
Shitbucket | 4.9 | 8 | 28 | Developer Tools | This plugin does absolutely nothing except turn the Bitbucket logo into a shitbucket. | 1.0.2 | December 4, 2023 | view details → |
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 → |
Textomap: Generate maps from text in seconds | 5 | 1 | 650 | Travel | Create maps in the same tab as you browse websites, social media, docs, and more | 1.4 | March 8, 2024 | view details → |
Auto-Collapse Tab Groups | 4.2 | 4 | 270 | Accessibility | Automatically collapse unfocused tab groups. | 0.0.1 | December 1, 2022 | view details → |
Relaxing New Tab | - | 0 | 15 | Well-being | New Tab For a Peace of Mind | 1.0 | February 6, 2024 | view details → |
Arte.tv Additional buttons for the Player | - | 0 | 71 | Just for Fun | Adds a button to display a mini-player and a button for a in-tab fullscreen display | 0.0.2 | November 6, 2023 | view details → |
Dizzy Web | 5 | 1 | 169 | Just for Fun | Make your web dizzy :) | 0.0.2 | September 7, 2022 | view details → |