jenkinsci / jenkinsci/github-branch-source-plugin

[JENKINS-58939] Allow skipping pull requests by labels

Open
#1,272 5 comments 0 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

See INFRA-1633 for a real use-case on ci.jenkins.io. Some pull requests are stale OR contain no content to rebuild, and it does not make sense to run CI against them and to consume resources each time builds are retriggered.

I suggest adding a new trait which allows skipping pull requests if they are labeled by "skip-ci" or such labels

---
Originally reported by oleg_nenashev, imported from: Allow skipping pull requests by labels


  • assignee: oleg_nenashev
  • status: In Progress
  • priority: Minor
  • component(s): github-branch-source-plugin
  • resolution: Unresolved
  • votes: 1
  • watchers: 5
  • imported: 2025-12-02

Raw content of original issue

See INFRA-1633 for a real use-case on ci.jenkins.io. Some pull requests are stale OR contain no content to rebuild, and it does not make sense to run CI against them and to consume resources each time builds are retriggered.

I suggest adding a new trait which allows skipping pull requests if they are labeled by "skip-ci" or such labels

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.