Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: 67b69955d1935ff550b7c8674bae96066cf3e599
https://github.com/jenkins-infra/jenkins-infra/commit/67b69955d1935ff550b7c8674bae96066cf3e599
Author: jenkins-infra-updatecli[bot]
<101213878+jenkins-infra-updatecli[bot]@users.noreply.github.com>
Date: 2023-05-26 (Fri, 26 May 2023)
Changed paths:
M Puppetfile
Log Message:
-----------
chore: Updated the content of the file "/tmp/updatecli/github/jenkins...
(#2865)
... -infra/jenkins-infra/Puppetfile"
Made with ❤️️ by updatecli
Co-authored-by: Jenkins Infra Bot (updatecli)
<60776566+jenkins-infra-...@users.noreply.github.com>
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/jenkins-infra/push/refs/heads/production/fa5c07-67b699%40github.com.
