github-pr-filter
github-pr-filter copied to clipboard
Add ability to filter files in pull requests
Results
1
github-pr-filter issues
Sort by
recently updated
recently updated
newest added
`init.js:25 Uncaught TypeError: $ is not a function` I think Github removed jQuery. Any way you can include it in the plugin and inject it to the page?