duxet / builds-tab
Web extension that adds builds tab to Github
☆27Updated last year
Related projects: ⓘ
- An extension for displaying dependencies of projects on GitHub☆79Updated 6 years ago
- Infinite scroll for commit pages on GitHub☆15Updated 5 years ago
- Chrome extension for live markdown previews in GitHub comments☆40Updated 5 years ago
- Go to badges/shields. Especially if you don't know why. (This repo is old.)☆86Updated 10 years ago
- Show GitHub commit message limits☆24Updated 5 years ago
- Dark GitHub Community☆37Updated 4 years ago
- Makes your GitHub notifications icon link to Octobox instead of GitHub.☆37Updated 5 years ago
- CoderStats link for GitHub Coders Chrome Extension☆20Updated last year
- Arrgh Some Patchy Goodness to GitHub!☆59Updated 6 years ago
- Browser extension to fix outdated/broken GitHub links to branches☆27Updated last year
- Are they tabs? Are they spaces? How many? Never wonder again!☆76Updated 6 years ago
- Compact details in the news feed☆22Updated last year
- Chrome/Firefox extension that allows you to easily navigate through the changes in a file that has been edited on GitHub.☆19Updated 4 years ago
- Chrome extension - Set custom tab size for code view on GitHub.com☆69Updated 5 years ago
- A GitHub Action for bumping submodules☆29Updated 5 years ago
- A chrome extension to open a repository from a GitHub page☆38Updated 9 years ago
- Chrome extension that improves the GitHub experience☆131Updated last year
- Chrome extension - Hide nonessential files from the GitHub file browser☆320Updated last year
- Pinned header on GitHub☆63Updated 4 years ago
- Add a custom selected tab color to GitHub☆48Updated last year
- Chrome extension - Merge windows into the active one☆185Updated 3 months ago
- ☆11Updated 5 years ago
- 🤖 GitHub App that locks closed issues and pull requests after a period of inactivity☆15Updated 3 years ago
- Userscript that adds tweaks to GitHub.☆24Updated 5 years ago
- A GitHub App built with probot that peforms a "background check" to identify users who have been toxic in the past, and shares their toxi…☆27Updated 9 months ago
- Create deployments on Github with actions☆38Updated 7 months ago
- Pointless is a CircleCI Chrome extension that enhances browsing experience on websites such as GitHub.☆18Updated last year
- GitHub Action that triggers e-mails with release notes when these are created☆65Updated last year
- See code coverage information from Codecov on GitHub, Sourcegraph, and other tools.☆74Updated 10 months ago
- Welcome users when they open their first PR in your repository☆21Updated last year