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

937e7c14 · Lucas Nussbaum · Alexandre MERLIN · 3669b0d2 · 937e7c14 · 937e7c14
Commit 937e7c14 authored 5 months ago by Lucas Nussbaum Committed by Alexandre MERLIN 5 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