Store role list in database and convert role mentions into a readable format

database/upgrades/00-latest-revision.sql

@@ -1,4 +1,4 @@
--- v0 -> v5: Latest revision
+-- v0 -> v7: Latest revision
 
 CREATE TABLE guild (
     dcid       TEXT PRIMARY KEY,
@@ -74,7 +74,9 @@ CREATE TABLE "user" (
     discord_token   TEXT,
     management_room TEXT,
     space_room      TEXT,
-    dm_space_room   TEXT
+    dm_space_room   TEXT,
+
+    read_state_version INTEGER NOT NULL DEFAULT 0
 );
 
 CREATE TABLE user_portal (
@@ -126,3 +128,22 @@ CREATE TABLE emoji (
     discord_name TEXT,
     matrix_url   TEXT
 );
+
+CREATE TABLE role (
+    dc_guild_id TEXT,
+    dcid        TEXT,
+
+    name TEXT NOT NULL,
+    icon TEXT,
+
+    mentionable BOOLEAN NOT NULL,
+    managed     BOOLEAN NOT NULL,
+    hoist       BOOLEAN NOT NULL,
+
+    color       INTEGER NOT NULL,
+    position    INTEGER NOT NULL,
+    permissions BIGINT  NOT NULL,
+
+    PRIMARY KEY (dc_guild_id, dcid),
+    CONSTRAINT role_guild_fkey FOREIGN KEY (dc_guild_id) REFERENCES guild (dcid) ON DELETE CASCADE
+);

database/upgrades/07-store-role-info.sql

@@ -0,0 +1,19 @@
+-- v7: Store role info
+CREATE TABLE role (
+    dc_guild_id TEXT,
+    dcid        TEXT,
+
+    name TEXT NOT NULL,
+    icon TEXT,
+
+    mentionable BOOLEAN NOT NULL,
+    managed     BOOLEAN NOT NULL,
+    hoist       BOOLEAN NOT NULL,
+
+    color       INTEGER NOT NULL,
+    position    INTEGER NOT NULL,
+    permissions BIGINT  NOT NULL,
+
+    PRIMARY KEY (dc_guild_id, dcid),
+    CONSTRAINT role_guild_fkey FOREIGN KEY (dc_guild_id) REFERENCES guild (dcid) ON DELETE CASCADE
+);