Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: cdb806254fc23b8022b2846cabcc5641bf32a1de
https://github.com/jenkins-infra/jenkins-infra/commit/cdb806254fc23b8022b2846cabcc5641bf32a1de
Author: jenkins-infra-updatecli[bot]
<101213878+jenkins-infra-updatecli[bot]@users.noreply.github.com>
Date: 2023-04-04 (Tue, 04 Apr 2023)
Changed paths:
M Puppetfile
Log Message:
-----------
chore: Updated the content of the file "/tmp/updatecli/github/jenkins...
(#2741)
... -infra/jenkins-infra/Puppetfile"
Made with ❤️️ by updatecli
Co-authored-by: Jenkins Infra Bot (updatecli)
<[email protected]>
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/jenkins-infra/push/refs/heads/production/b52ad4-cdb806%40github.com.
