Skip to content

Conversation

@wolfi-bot
Copy link
Contributor

@wolfi-bot wolfi-bot requested a review from a team as a code owner August 1, 2023 15:06
@wolfi-bot wolfi-bot requested review from ajayk and jdolitsky August 1, 2023 15:06
@wolfi-bot wolfi-bot added request-version-update request for a newer version of a package automated pr labels Aug 1, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Aug 1, 2023

Package jenkins: Click to expand/collapse

Package jenkins:
Modified: /usr/share/java/jenkins/jenkins.war

@rawlingsj rawlingsj added this pull request to the merge queue Aug 1, 2023
Merged via the queue into main with commit bb4b435 Aug 1, 2023
@rawlingsj rawlingsj deleted the wolfictl-6e596ea6-5664-4f8d-95b3-87589628c3ec branch August 1, 2023 18:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated pr request-version-update request for a newer version of a package

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants