GitHub PR Custom Filter
ExtensionDeveloper Tools1 user
Overview
Add custom filters to GitHub PR page.
This extension allows you to save custom filters to the Pull Requests (PR) page for easy usage. This extension is not affiliated with or endorsed by GitHub. It is designed to enhance the user experience while adhering to GitHub's terms of service.
0 out of 5No ratings
Google doesn't verify reviews. Learn more about results and reviews.
Details
- Version1.0
- UpdatedOctober 28, 2024
- Offered byshani.kehati
- Size9.84KiB
- LanguagesEnglish
- Developer
Email
shankehat@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
Support
For help with questions, suggestions, or problems, please open this page on your desktop browser