search

jenkinsci / docker

Docker official jenkins repo
https://hub.docker.com/r/jenkins/jenkins
MIT License
6.55k stars 4.47k forks source link

chore(deps): bump plugin manager to 2.13.0 #1874

Closed jenkins-dependency-updater[bot] closed 2 months ago

jenkins-dependency-updater[bot] commented 2 months ago

Automated changes by create-pull-request GitHub action

lemeurherve commented 2 months ago

Needs #1873 for auto-merge

timja commented 2 months ago

they aren't required checks so I was expecting auto merge to just work?

lemeurherve commented 2 months ago

they aren't required checks so I was expecting auto merge to just work?

Oh right, nevermind.