Added an option to GitSCMSource to ignore on-push notifications. This can be useful for some jobs like sonar analysis, relying on polling rather than on-push.
Merge pull request #193 from Vlatombe/option-ignore-on-push-notifications

Added an option to GitSCMSource to ignore on-push notifications.