Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: a4b283bcc72a83dbcc00682b9e1ac48081bca1eb
https://github.com/jenkins-infra/jenkins-infra/commit/a4b283bcc72a83dbcc00682b9e1ac48081bca1eb
Author: jenkins-infra-updatecli[bot]
<101213878+jenkins-infra-updatecli[bot]@users.noreply.github.com>
Date: 2023-07-06 (Thu, 06 Jul 2023)
Changed paths:
M Puppetfile
Log Message:
-----------
chore: Updated to content "" in file "Puppetfile" (#2961)
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/06d0b0-a4b283%40github.com.
