Merge branch 'petitprince8' into 'master'

[luxembourg/petitprince] Remove network information for petitprince-8

See merge request !249

data/grid5000/sites/luxembourg/network_equipments/mxl1.json

@@ -63,10 +63,6 @@
           "uid": "petitprince-7"
         },
         {
-          "kind": "node",
-          "port": "eth0",
-          "snmp_name": "TenGigabitEthernet 0/8",
-          "uid": "petitprince-8"
         },
         {
           "kind": "node",

data/grid5000/sites/luxembourg/network_equipments/mxl2.json

@@ -63,10 +63,6 @@
           "uid": "petitprince-7"
         },
         {
-          "kind": "node",
-          "port": "eth1",
-          "snmp_name": "TenGigabitEthernet 0/8",
-          "uid": "petitprince-8"
         },
         {
           "kind": "node",

input/grid5000/sites/luxembourg/clusters/petitprince/petitprince_extra.yaml

@@ -56,14 +56,6 @@ nodes:
         switch_port: Te0/7
       bmc:
         switch_port: Gi2/36
-  petitprince-8:
-    network_adapters:
-      eth0:
-        switch_port: Te0/8
-      eth1:
-        switch_port: Te0/8
-      bmc:
-        switch_port: Gi2/36
   petitprince-9:
     network_adapters:
       eth0:

input/grid5000/sites/luxembourg/networks/mxl1.yaml

@@ -80,8 +80,6 @@ mxl1:
           uid: petitprince-6
         7:
           uid: petitprince-7
-        8:
-          uid: petitprince-8
         9:
           uid: petitprince-9
         10:

input/grid5000/sites/luxembourg/networks/mxl2.yaml

@@ -80,8 +80,6 @@ mxl2:
           uid: petitprince-6-eth1
         7:
           uid: petitprince-7-eth1
-        8:
-          uid: petitprince-8-eth1
         9:
           uid: petitprince-9-eth1
         10: