Filippo Giunchedi has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/175437

Change subject: install-server add ms-be 2013/14/15
......................................................................

install-server add ms-be 2013/14/15

Change-Id: I11f974055dba5746956c2e5fe23e69711813a9ee
---
M modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
1 file changed, 15 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/37/175437/1

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 30f6662..9783e68 100644
--- a/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
+++ b/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
@@ -2096,6 +2096,21 @@
        fixed-address ms-be2012.codfw.wmnet;
 }
 
+host ms-be2013 {
+       hardware ethernet 54:9F:35:08:4A:18;
+       fixed-address ms-be2013.codfw.wmnet;
+}
+
+host ms-be2014 {
+       hardware ethernet 54:9F:35:08:38:10;
+       fixed-address ms-be2014.codfw.wmnet;
+}
+
+host ms-be2015 {
+       hardware ethernet 54:9F:35:08:40:F0;
+       fixed-address ms-be2015.codfw.wmnet;
+}
+
 host ms-be3001 {
        hardware ethernet 24:B6:FD:F6:13:AC;
        fixed-address ms-be3001.esams.wmnet;

-- 
To view, visit https://gerrit.wikimedia.org/r/175437
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I11f974055dba5746956c2e5fe23e69711813a9ee
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to