Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/382127 )
Change subject: install_server: Remove db2010 ...................................................................... install_server: Remove db2010 db2010 will be decommissioned Bug: T175685 Change-Id: Iad3b8b4d3fbe4807b33d568f6b5f2728f5e2ae0c --- M modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 1 file changed, 0 insertions(+), 5 deletions(-) Approvals: Marostegui: Looks good to me, approved jenkins-bot: Verified 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 f8ba076..4c07251 100644 --- a/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 +++ b/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 @@ -1319,11 +1319,6 @@ fixed-address db1106.eqiad.wmnet; } -host db2010 { - hardware ethernet 78:2b:cb:6b:c6:ef; - fixed-address db2010.codfw.wmnet; -} - host db2011 { hardware ethernet 78:2b:cb:66:aa:3e; fixed-address db2011.codfw.wmnet; -- To view, visit https://gerrit.wikimedia.org/r/382127 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iad3b8b4d3fbe4807b33d568f6b5f2728f5e2ae0c Gerrit-PatchSet: 4 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Marostegui <maroste...@wikimedia.org> Gerrit-Reviewer: Jcrespo <jcre...@wikimedia.org> Gerrit-Reviewer: Marostegui <maroste...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits