Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Please install pipeline-github plugin #3233

Closed
jglick opened this issue Nov 14, 2022 · 4 comments · Fixed by jenkins-infra/jenkins-infra#2486
Closed

Please install pipeline-github plugin #3233

jglick opened this issue Nov 14, 2022 · 4 comments · Fixed by jenkins-infra/jenkins-infra#2486
Assignees
@smerle33
Labels
ci.jenkins.io
Milestone
infra-team-sync-2...

Comments

@jglick
Copy link

jglick commented Nov 14, 2022

Service(s)

ci.jenkins.io

Summary

To address jenkinsci/bom#1581 we would need https://plugins.jenkins.io/pipeline-github/ to be installed on ci.jenkins.io, since the basic github-branch-source does not currently bind PR labels to an environment variable.

Reproduction steps

No response
@jglick jglick added the triage Incoming issues that need review label Nov 14, 2022
@dduportal dduportal added this to the infra-team-sync-2022-11-15 milestone Nov 14, 2022
@dduportal dduportal removed the triage Incoming issues that need review label Nov 14, 2022
@smerle33
Copy link
Contributor

plugin has been installed while working on #3234

@jglick
Copy link
Author

jglick commented Nov 14, 2022

Confirmed: https://ci.jenkins.io/pipeline-syntax/globals#pipeline

@dduportal dduportal reopened this Nov 15, 2022
@dduportal
Copy link
Contributor

Reopening because we forgot to add the plugin to the list in Puppet hieradata for ci.jenkins.io

@smerle33 smerle33 mentioned this issue Nov 16, 2022
Merged
@lemeurherve
Copy link
Member

Plugin added to the list in Puppet, closing this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@smerle33 smerle33

Labels
ci.jenkins.io
Projects
None yet
Milestone
infra-team-sync-2022-11-22
Development

Successfully merging a pull request may close this issue.

feat(ci.jenkins.io): add a new plugin pipeline-github smerle33/jenkins-infra
4 participants
@jglick @dduportal @lemeurherve @smerle33