BBlack has submitted this change and it was merged. Change subject: repool cp4015 ......................................................................
repool cp4015 Change-Id: I0e451abc402843e2a864bf9e5f30d3834eff0f9e --- M manifests/role/cache.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: BBlack: Verified; Looks good to me, approved diff --git a/manifests/role/cache.pp b/manifests/role/cache.pp index 6b61536..7687d5a 100644 --- a/manifests/role/cache.pp +++ b/manifests/role/cache.pp @@ -171,7 +171,7 @@ 'cp4007.ulsfo.wmnet', # Jessie 'cp4013.ulsfo.wmnet', # Jessie 'cp4014.ulsfo.wmnet', # Jessie - # 'cp4015.ulsfo.wmnet', # Jessie + 'cp4015.ulsfo.wmnet', # Jessie ], }, 'mobile' => { -- To view, visit https://gerrit.wikimedia.org/r/196592 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0e451abc402843e2a864bf9e5f30d3834eff0f9e Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: BBlack <bbl...@wikimedia.org> Gerrit-Reviewer: BBlack <bbl...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits