Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: a17e340f2a05f1e228f16f4eef160268d7713fe9
https://github.com/jenkins-infra/jenkins-infra/commit/a17e340f2a05f1e228f16f4eef160268d7713fe9
Author: jenkins-infra-updatecli[bot]
<101213878+jenkins-infra-updatecli[bot]@users.noreply.github.com>
Date: 2023-04-29 (Sat, 29 Apr 2023)
Changed paths:
M Puppetfile
Log Message:
-----------
chore: Updated the content of the file "/tmp/updatecli/github/jenkins...
(#2802)
... -infra/jenkins-infra/Puppetfile"
Made with ❤️️ by updatecli
Co-authored-by: Jenkins Infra Bot (updatecli)
<60776566+jenkins-infra-...@users.noreply.github.com>
Co-authored-by: Damien Duportal <damien.dupor...@gmail.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/e285ca-a17e34%40github.com.
