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.
Details
- Version1.0.1
- UpdatedFebruary 1, 2025
- Size27.42KiB
- LanguagesEnglish
- Developer
Email
pullsmart.font359@slmail.me - 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. To learn more, see the developer’s privacy policy.
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