Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: c489c54166ee9f929d2a59c513b2a128928e9c30
https://github.com/jenkins-infra/jenkins-infra/commit/c489c54166ee9f929d2a59c513b2a128928e9c30
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/pkgrepo.pp
Log Message:
-----------
use the right certificate for https://pkg.jenkins.io
Commit: 957212cb0187820b633e719655e17e6af7e0f1a7
https://github.com/jenkins-infra/jenkins-infra/commit/957212cb0187820b633e719655e17e6af7e0f1a7
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/pkgrepo.pp
M spec/classes/profile/pkgrepo_spec.rb
Log Message:
-----------
Support pkg.jenkins-ci.org without SSL promotion
There's a high likelihood that promoting pkg.jenkins-ci.org is going to break
older versions of Apt and Yum
Commit: d135433bb681f6fc97913ea228a08b94022625e2
https://github.com/jenkins-infra/jenkins-infra/commit/d135433bb681f6fc97913ea228a08b94022625e2
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/pkgrepo.pp
M spec/classes/profile/pkgrepo_spec.rb
Log Message:
-----------
Merge pull request #397 from jenkins-infra/pkg-ssl
Tidy up SSL for pkg.jenkins.io
Commit: e2978bb3eb37f71ec6605cc0da8740b8c936cc83
https://github.com/jenkins-infra/jenkins-infra/commit/e2978bb3eb37f71ec6605cc0da8740b8c936cc83
Author: R. Tyler Croy <[email protected]>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M dist/profile/manifests/pkgrepo.pp
M spec/classes/profile/pkgrepo_spec.rb
Log Message:
-----------
Merge pull request #398 from jenkins-infra/staging
Sync pkg.jenkins.io changes with production
Compare:
https://github.com/jenkins-infra/jenkins-infra/compare/e35447065007...e2978bb3eb37
--
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.
