Set priority for grvingt to 201701 so that it is less than grele's (see bug 16466)

ac5df96c · Lucas Nussbaum · POUILLOUX Laurent · 699c2801 · ac5df96c · ac5df96c
Commit ac5df96c authored 7 months ago by Lucas Nussbaum Committed by POUILLOUX Laurent 6 months ago
--- a/data/grid5000/sites/nancy/clusters/grvingt/grvingt.json
+++ b/data/grid5000/sites/nancy/clusters/grvingt/grvingt.json
@@ -355,6 +355,7 @@
    }
  ],
  "model": "Dell PowerEdge C6420",
+  "priority": "201701",
  "queues": [
    "admin",
    "production"

--- a/input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml
+++ b/input/grid5000/sites/nancy/clusters/grvingt/grvingt.yaml
@@ -3,6 +3,7 @@ model: Dell PowerEdge C6420
 created_at: 2018-04-11
 kavlan: true
 boot_type: bios
+priority: '201701'
 queues:
  - admin
  - production