GitHub repository: l3ender/github-pull-request-filter-plugin
Created: 2023-08-21T00:46:45Z
Description: A Jenkins plugin to provide additional traits for filtering GitHub pull requests.