Overview
Filter and sort your GitHub PR overview
Please note that this exension is absolutely bare bones right now. More features and customizability will be added in the future. This extension adds a new button to the GitHub PR overview: "Priority" This directs you to the list of requested reviews, but hides all PRs from the user "dependabot".
Details
- Version0.1.0
- UpdatedSeptember 21, 2022
- Offered byDestillierte Giraffe
- Size16.92KiB
- LanguagesEnglish
- Developer
Email
destillierte.giraffe@gmail.com - Non-traderThis developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.
Privacy
The developer has disclosed that it will not collect or use your data.
This developer declares that your data is
- Not being sold to third parties, outside of the approved use cases
- Not being used or transferred for purposes that are unrelated to the item's core functionality
- Not being used or transferred to determine creditworthiness or for lending purposes