jenkinsci / jenkinsci/github-branch-source-plugin

[JENKINS-67888] Allow filtering pull request events by type

Open
#1,385 0 comments 2 reactions 0 assignees View on GitHub
component:github-branch-source-plugin enhancement imported-jira-issue priority:minor resolution:unresolved
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


  • status: Open
  • priority: Minor
  • component(s): github-branch-source-plugin
  • resolution: Unresolved
  • votes: 0
  • watchers: 1
  • imported: 2025-12-02

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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.