Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: 8aa160f476cc2cfcc8a904e78313cbf11a0881bf
https://github.com/jenkins-infra/jenkins-infra/commit/8aa160f476cc2cfcc8a904e78313cbf11a0881bf
Author: jenkins-infra-updatecli[bot]
<101213878+jenkins-infra-updatecli[bot]@users.noreply.github.com>
Date: 2023-04-12 (Wed, 12 Apr 2023)
Changed paths:
M Puppetfile
Log Message:
-----------
chore: Updated the content of the file "/tmp/updatecli/github/jenkins...
(#2756)
... -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/0476a9-8aa160%40github.com.
