Branch: refs/heads/production
Home: https://github.com/jenkins-infra/jenkins-infra
Commit: fee44f1659926ef90e5dc779b0a2388da5b3a055
https://github.com/jenkins-infra/jenkins-infra/commit/fee44f1659926ef90e5dc779b0a2388da5b3a055
Author: olblak <[email protected]>
Date: 2018-08-06 (Mon, 06 Aug 2018)
Changed paths:
M dist/profile/manifests/mirrorbrain.pp
Log Message:
-----------
Define a different fallblack mirror for /plugins
Commit: 99a91ff46b8f6ffbba1c59d25852992690a87f8d
https://github.com/jenkins-infra/jenkins-infra/commit/99a91ff46b8f6ffbba1c59d25852992690a87f8d
Author: olblak <[email protected]>
Date: 2018-08-06 (Mon, 06 Aug 2018)
Changed paths:
M dist/profile/manifests/mirrorbrain.pp
Log Message:
-----------
Set plugin fallback mirror on http
Commit: 67b0f66b41513daa565194235e7c2662a0550200
https://github.com/jenkins-infra/jenkins-infra/commit/67b0f66b41513daa565194235e7c2662a0550200
Author: Olblak <[email protected]>
Date: 2018-08-07 (Tue, 07 Aug 2018)
Changed paths:
M dist/profile/manifests/mirrorbrain.pp
Log Message:
-----------
Merge pull request #1073 from olblak/INFRA-1730
[INFRA-1730] Define a different fallblack mirror for /plugins
Commit: 92a210ab51411a10aa42c30cc7355ddac6659a1a
https://github.com/jenkins-infra/jenkins-infra/commit/92a210ab51411a10aa42c30cc7355ddac6659a1a
Author: Olblak <[email protected]>
Date: 2018-08-07 (Tue, 07 Aug 2018)
Changed paths:
M dist/profile/manifests/mirrorbrain.pp
Log Message:
-----------
Merge pull request #1074 from jenkins-infra/staging
Automated deployment to production
Compare:
https://github.com/jenkins-infra/jenkins-infra/compare/570eebfef50a...92a210ab5141
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
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.
