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.