GitHub PR files checker

This extension is dedicated to developer using GitHub. ⌚ Save time by skipping irrelevant files in large pull requests. Sometimes multiple irrelevant files end up in a Pull Request. Instead of clicking through all of them and manually marking as viewed, you can use this extension, and mark all files matching your query as viewed, with a single click.