This module defines the GitHub-related features and configurations for Jenkins pipelines.
-
owner: The GitHub owner of the repository. ( (Required) Type:
str) -
repository: The GitHub repository name. ( (Required) Type:
str) -
credentials_id: The jenkins credentials id that is associated with the GITHUB_TOKEN. ( (Required) Type:
str) -
pull_requests: Configuration for the pull requests ( Type:
Optional[features.github.GitHubPullRequestConfig]Default:None)-
filter: Filter configuration for pull requests, e.g., tokens to ignore. ( Type:
Optional[features.github.GitHubPullRequestFilterConfig]Default:None)-
tokens: List of tokens to ignore in pull requests, e.g., 'WIP', 'NO_CI'. ( Type:
Optional[List[str]]Default:None) -
message: Custom message to display when a pull request is ignored due to the filter. ( (Required) Type:
str)
-
-
update_description_from_pr_body: If true, updates the current build description with the body of the pull request. ( Type:
Optional[bool]Default:None)
-