Mark Bergsma has submitted this change and it was merged. Change subject: Decommission cp1041-1044 ......................................................................
Decommission cp1041-1044 Change-Id: Ideee5203ef1f4caa88933b1a9f85c7a99f86c2b1 --- M manifests/decommissioning.pp 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Mark Bergsma: Looks good to me, approved jenkins-bot: Verified diff --git a/manifests/decommissioning.pp b/manifests/decommissioning.pp index 0bc83f0..9848719 100644 --- a/manifests/decommissioning.pp +++ b/manifests/decommissioning.pp @@ -31,6 +31,10 @@ 'cp1034', 'cp1035', 'cp1036', +'cp1041', +'cp1042', +'cp1043', +'cp1044', 'cp3001', 'cp3002', 'db1', -- To view, visit https://gerrit.wikimedia.org/r/78226 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ideee5203ef1f4caa88933b1a9f85c7a99f86c2b1 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Mark Bergsma <m...@wikimedia.org> Gerrit-Reviewer: Mark Bergsma <m...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
