github-diff-explorer icon indicating copy to clipboard operation
github-diff-explorer copied to clipboard

Published 20 hours ago • verified publisher icon alexmdodge

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

Open heaths opened this issue 5 years ago • 1 comments

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.

image

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.

heaths avatar Sep 20 '19 16:09 heaths

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.

alexmdodge avatar Sep 21 '19 12:09 alexmdodge