Github PR Filter

ExtensionDeveloper Tools14 users

Overview

An extension that allows you to filter pull request file changes via glob pattern

Provides an additional widget to the existing github pull request toolbar that allows you to filter for files that you're interested to review via glob or regex. Any unmatched files will be collapsed. You can also save, apply, and delete filters.

0 out of 5
No ratings
Google doesn't verify reviews. Learn more about results and reviews.

Details

Version
2.0.0
Updated
July 29, 2021
Flag concern
Offered by
ygongdev
Size
41.94KiB
Languages
English
Developer
Email
ygongdev@gmail.com
Non-trader
This 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, visit the developer's support site