add oflatt as owner

cedar-policy · Jun 6, 2024 · f1f0366 · f1f0366
1 parent 4472038
commit f1f0366
Show file tree

Hide file tree

Showing 2 changed files with 81 additions and 1 deletion.
diff --git a/cedar-example-use-cases/discord/ALLOW/oflatt_manage_role.json b/cedar-example-use-cases/discord/ALLOW/oflatt_manage_role.json
@@ -1,5 +1,5 @@
 {
-    "principal": "User::\"oflatt\"",
+    "principal": "User::\"oflatt-general\"",
     "action": "Action::\"ManageRole\"",
     "resource": "Role::\"everyone\"",
     "context": {}

diff --git a/cedar-example-use-cases/discord/entities.json b/cedar-example-use-cases/discord/entities.json
@@ -132,5 +132,85 @@
       }
     },
     "parents": []
+  },
+  {
+    "uid": {
+      "type": "Roles",
+      "id": "oflatt-roles"
+    },
+    "attrs": {},
+    "parents": [
+      {
+        "type": "Role",
+        "id": "everyone"
+      },
+      {
+        "type": "Role",
+        "id": "owner"
+      }
+    ]
+  },
+  {
+    "uid": {
+      "type": "ChannelRoles",
+      "id": "oflatt-announcements-roles"
+    },
+    "attrs": {},
+    "parents": [
+      {
+        "type": "ChannelRole",
+        "id": "everyone-announcements"
+      }
+    ]
+  },
+  {
+    "uid": {
+      "type": "ChannelRoles",
+      "id": "oflatt-general-roles"
+    },
+    "attrs": {},
+    "parents": []
+  },
+  {
+    "uid": {
+      "type": "User",
+      "id": "oflatt-announcements"
+    },
+    "attrs": {
+      "roles": {
+        "type": "Roles",
+        "id": "oflatt-roles"
+      },
+      "channel_roles": {
+        "type": "ChannelRoles",
+        "id": "oflatt-announcements-roles"
+      },
+      "channel": {
+        "type": "Channel",
+        "id": "announcements"
+      }
+    },
+    "parents": []
+  },
+  {
+    "uid": {
+      "type": "User",
+      "id": "oflatt-general"
+    },
+    "attrs": {
+      "roles": {
+        "type": "Roles",
+        "id": "oflatt-roles"
+      },
+      "channel_roles": {
+        "type": "ChannelRoles",
+        "id": "oflatt-general-roles"
+      },
+      "channel": {
+        "type": "Channel",
+        "id": "general"
+      }
+    },
+    "parents": []
   }
 ]