jenkinsci / jenkinsci/github-branch-source-plugin
[JENKINS-53219] Don't run build if merge commit is same as PR head (Github branch source)
- Dominant language
- Java
- Stars
- 217
- Forks
- 398
- Avg merge
- 30m
- Merged PRs (30d)
- 1
Description
We currently have the option enabled to build both PR head as well as the PR merge. I would prefer the PR merge to not do anything if merging the target branch into the PR doesn't create a new commit because the PR was already built on top of the latest commit from the target branch.
This way if developers create a branch from master, and then add commits, only a single build is run, rather than two.
---
Originally reported by xistence, imported from: Don't run build if merge commit is same as PR head (Github branch source)
Raw content of original issue
We currently have the option enabled to build both PR head as well as the PR merge. I would prefer the PR merge to not do anything if merging the target branch into the PR doesn't create a new commit because the PR was already built on top of the latest commit from the target branch.
This way if developers create a branch from master, and then add commits, only a single build is run, rather than two.
Contributor guide
Assessment
This issue has not been assessed yet.