berzniz / github_pr_tree
Add a file tree to GitHub's Pull Request
☆689Updated last year
Related projects ⓘ
Alternatives and complementary repositories for github_pr_tree
- Do Not Merge WIP for GitHub☆411Updated 3 months ago
- Browser extension - Get notified about new GitHub notifications☆1,842Updated 2 months ago
- Repository for the GIFs for GitHub Chrome & Firefox Extension☆194Updated 2 months ago
- A chrome extension to make reviewing pull requests in Github a little easier.☆356Updated 4 years ago
- Everything is better with selfies. Yes, even pull requests. Trust me.☆1,144Updated 4 years ago
- ☆147Updated 8 months ago
- A Chrome extension that automatically highlights any time you are mentioned on a GitHub issue or pull request thread by highlighting your…☆276Updated 3 years ago
- Change all github repository pages to be full width and dynamically sized.☆382Updated last month
- [Web extension] Filter events on github.com activity dashboard.☆846Updated 4 months ago
- Chrome extension that wraps the selected text in a markdown link with the contents of the clipboard☆150Updated 8 years ago
- ☆139Updated 8 years ago
- 📦 vscode-icons for github, nearly 1000 file/folder icons☆316Updated 4 months ago
- Github Commands from Google Chrome Omnibox (address bar)☆386Updated 2 years ago
- A Chrome extension for navigating github.com via keyboard shortcuts. Quickly access issues for multiple repos, as well as your org's page…☆129Updated 4 years ago
- Changes the GitHub notification icon to red if you have unread participating notifications.☆112Updated 8 years ago
- 🌈 🗂 A browser extension which gives different filetypes different icons to GitHub, GitLab, gitea and gogs.☆1,450Updated 9 months ago
- Chrome extension for copying posted code to clipboard from stackoverflow.com, github.com & npmjs.com☆332Updated 3 years ago
- Github Gamification - Achievements system as a GitHub WebHook.☆159Updated last year
- A browser extension for Github that displays avatars in lists (pull requests, issues), making it easier to identify who created the item☆90Updated 5 months ago
- Pull Requests for GitHub repository settings☆933Updated this week
- Chrome extension that adds tags to the compare page of Github☆110Updated last year
- [WebExtension] Open GitHub notifications with shortcuts in Gmail.☆1,212Updated 2 years ago
- 🔎 A browser extension to explore npm dependencies on GitHub repos☆770Updated 3 months ago
- A plugin for Google Chrome that adds a button to toggle showing real names instead of usernames on GitHub☆295Updated last year
- 🤖 All the missing GitHub automation 🙂 🙌☆686Updated 3 months ago
- create comment on pull request, if exists update that comment.☆458Updated this week
- GitHub Pull Request Auto-Merge Bot☆746Updated last week
- 🚀 Chrome extension to display repository size on GitHub☆1,223Updated 3 years ago
- Colorize issue and PR links to see their status (open, closed, merged)☆303Updated 4 months ago
- 🔖 GitHub Action for working painlessly with deployment statuses☆385Updated 7 months ago