This is an example of a pull request that uses the filter extension.

ghfilter
- library/.*
- a_php_file.php
- a_js_file.js

Click on files, then hit the github-pull-filter icon in your URL tool bar to see this in action!