This extension adds filters to the github pull request files page. You can show/hide files with a specific extension.