-
Improvement
-
Resolution: Unresolved
-
Major
-
None
The plugin should support filtering push events by Github username, for instance to ignore push events from a Jenkins github user and keep Jenkins itself from re-triggering builds when it does things like commit version revs.
I've got code and tests for this and will update with the PR once filed. Stay tuned.
https://github.com/jenkinsci/github-plugin/pull/182