fix: add hubocean group

2024-10-08 09:39:46 +02:00
parent 7b046c343f
commit 15dae312ef
1 changed files with 14 additions and 0 deletions
@@ -277,6 +277,20 @@
            }
        ]
    },
+    {
+        "domain": "oceandata.earth",
+        "access": [
+            {
+                "matching": ".*@oceandata.earth",
+                "group": "/hubocean",
+                "roles": [ "user" ],
+                "capabilities": [
+                    "run:transport",
+                    "run:sedimentation"
+                ]
+            }
+        ]
+    },
    {
        "domain": "gmail.com",
        "access": [