Github label filter

ID: github-label-filter

This plugin is inspired by the Github additional traits plugin. It provides filters for:

  • Filter pull requests with all specified labels.
    • The pull request will be discovered which having all labels
  • Filter pull requests with any specified labels.
    • The pull request will be discovered which having any labels.
  • Exclude pull requests with any specified labels.
    • The pull requests will be excluded which having any labels.

This plugin adds a new "Scan by labeled/unlabeled github webhook events" option.
After enable this one, labeling or unlabeling a PR on the github repository triggers a scanning job again.

ArchivesGet past versions
Version: 1.0.0
Released:
Requires Jenkins 2.164.3
Installs: 148
Labels
This plugin has no labels
Maintainers
Gong Yi
Help us improve this page!
To propose a change submit a pull request to the plugin page on GitHub.