arianitu/github-pull-filter — pull request #1 by arianitu (2014-09-11 21:53:37+00:00)
Title: 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!