Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: f29862ed7cda5c89c9edecdde54f40ba904be34a
https://github.com/jenkins-infra/jenkins-infra/commit/f29862ed7cda5c89c9edecdde54f40ba904be34a
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/jenkinsplugin.pp
Log Message:
-----------
Fat-fingered the install-plugin command
Commit: b6f44258df853361e81a01e5908cc4b520286286
https://github.com/jenkins-infra/jenkins-infra/commit/b6f44258df853361e81a01e5908cc4b520286286
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/buildmaster.pp
Log Message:
-----------
Ensure the letsencrypt files exist even if they're empty
This will prevent silly errors from before the letsencrypt challenge
Commit: 369a4ff7d7085683c1fa06ba9d7add484ddb2f85
https://github.com/jenkins-infra/jenkins-infra/commit/369a4ff7d7085683c1fa06ba9d7add484ddb2f85
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/buildmaster.pp
M dist/profile/manifests/jenkinsplugin.pp
Log Message:
-----------
Merge pull request #405 from jenkins-infra/minor_tweaks
Missed a few bits when running fresh in production on ci.jenkins.io
Commit: c59f987b4e620494c0c0f3490b367c4426f923fc
https://github.com/jenkins-infra/jenkins-infra/commit/c59f987b4e620494c0c0f3490b367c4426f923fc
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/buildmaster.pp
M dist/profile/manifests/jenkinsplugin.pp
Log Message:
-----------
Merge pull request #406 from jenkins-infra/staging
Deploy minor fixes for ci.jenkins.io
Compare:
https://github.com/jenkins-infra/jenkins-infra/compare/1460c7cc6991...c59f987b4e62
--
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].
For more options, visit https://groups.google.com/d/optout.
