Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: 81f0d945fe5d466cd7e0c5ff2c554ed3f74ded83
https://github.com/jenkins-infra/jenkins-infra/commit/81f0d945fe5d466cd7e0c5ff2c554ed3f74ded83
Author: Stéphane MERLE <[email protected]>
Date: 2023-09-01 (Fri, 01 Sep 2023)
Changed paths:
M dist/profile/manifests/jenkinscontroller.pp
A dist/profile/templates/jenkinscontroller/prompt.sh.erb
Log Message:
-----------
chore(jenkins-controllers): custom prompt with fulllocalhost name (#3039)
* chore(jenkins-controllers): custom prompt with fulllocalhost name
* lint
* Update dist/profile/templates/jenkinscontroller/prompt.sh.erb
---------
Co-authored-by: Damien Duportal <[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/497fdb-81f0d9%40github.com.
