Enhancement: support the file filter on GitHub's PR page

[heaths]

New to this extension but really love it. It brings at least one of the features I prefer about Azure DevOps PRs to GitHub. It would be nice, however, if you also supported GitHub's filter filter, which also allows you to filter files based on what you own via .github/CODEOWNERS.

When I filter to files (via extension or CODEOWNERS) it would be great if you filtered the file explorer view as well. For smaller PRs, the existing behavior is not so bad. I can still see the files. But on larger PRs it would help reduce potential noise (say, filtering out machine-generated files) and let me focus on the files that need to be reviewed.

Thanks for considering.

[alexmdodge]

I like this idea quite a bit! I think it will tie into some of the internal refactoring I would like to as well. Will get this in for a not so distant release.