jenkinsci / jenkinsci/github-branch-source-plugin
[JENKINS-67888] Allow filtering pull request events by type
- Dominant language
- Java
- Stars
- 217
- Forks
- 398
- Avg merge
- 30m
- Merged PRs (30d)
- 1
Description
It would be nice to have an option to filter the events used to trigger builds from GitHub's `pull_request` webhook. In my case I only want builds to be triggered on newly created pull requests or pushes to an existing pull request (for both forked PRs and not), but the plugin by default responds to all `pull_request` events so builds are re-triggered when someone edits the PR title on GitHub and it sends a `pull_request` `edited` event, so there would need to be some way to say ignore `edited` `pull_request` webhooks.
---
Originally reported by user129391, imported from: Allow filtering pull request events by type
Raw content of original issue
It would be nice to have an option to filter the events used to trigger builds from GitHub's `pull_request` webhook. In my case I only want builds to be triggered on newly created pull requests or pushes to an existing pull request (for both forked PRs and not), but the plugin by default responds to all `pull_request` events so builds are re-triggered when someone edits the PR title on GitHub and it sends a `pull_request` `edited` event, so there would need to be some way to say ignore `edited` `pull_request` webhooks.
Contributor guide
Assessment
This issue has not been assessed yet.