This adds the ability to specify (per-job) usernames that should be ignored when determining whether or not to trigger a git poll from a GitHub webhook event.

This addresses JENKINS-48139 and JENKINS-24208

There have been a handful of PRs that have tried to fix this or similar issues (#58, #182, #83). They have either been closed or abandoned (afaict).

Testing done

Added testcases in GitHubPushTriggerTest.java and DefaultPushGHEventListenerTest.java

Submitter checklist

• Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
• Ensure that the pull request title represents the desired changelog entry
• Please describe what you did
• Link to relevant issues in GitHub or Jira
• Link to relevant pull requests, esp. upstream and downstream changes
• Ensure you have provided tests that demonstrate the feature works or the issue is fixed

This change is