Github PR Filter
ygongdev
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.
