RobH has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/335170 )
Change subject: decom db2015 ...................................................................... decom db2015 old db host being decommissioned Bug:T149102 Change-Id: I8adae574ab7ba16f9d97cd1c577452c1ac469375 --- M modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 1 file changed, 0 insertions(+), 5 deletions(-) Approvals: RobH: Verified; Looks good to me, approved diff --git a/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 b/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 index d3bec7f..3c6b6a7 100644 --- a/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 +++ b/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 @@ -1486,11 +1486,6 @@ fixed-address db2014.codfw.wmnet; } -host db2015 { - hardware ethernet D4:AE:52:7C:A6:FD; - fixed-address db2015.codfw.wmnet; -} - host db2016 { hardware ethernet d4:ae:52:90:39:8c; fixed-address db2016.codfw.wmnet; -- To view, visit https://gerrit.wikimedia.org/r/335170 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8adae574ab7ba16f9d97cd1c577452c1ac469375 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: RobH <r...@wikimedia.org> Gerrit-Reviewer: RobH <r...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits