1CREATE TABLE "users" (
2 "id" INTEGER PRIMARY KEY,
3 "github_login" VARCHAR,
4 "admin" BOOLEAN,
5 "email_address" VARCHAR(255) DEFAULT NULL,
6 "invite_code" VARCHAR(64),
7 "invite_count" INTEGER NOT NULL DEFAULT 0,
8 "inviter_id" INTEGER REFERENCES users (id),
9 "connected_once" BOOLEAN NOT NULL DEFAULT false,
10 "created_at" TIMESTAMP NOT NULL DEFAULT now,
11 "metrics_id" TEXT,
12 "github_user_id" INTEGER
13);
14CREATE UNIQUE INDEX "index_users_github_login" ON "users" ("github_login");
15CREATE UNIQUE INDEX "index_invite_code_users" ON "users" ("invite_code");
16CREATE INDEX "index_users_on_email_address" ON "users" ("email_address");
17CREATE INDEX "index_users_on_github_user_id" ON "users" ("github_user_id");
18
19CREATE TABLE "access_tokens" (
20 "id" INTEGER PRIMARY KEY,
21 "user_id" INTEGER REFERENCES users (id),
22 "hash" VARCHAR(128)
23);
24CREATE INDEX "index_access_tokens_user_id" ON "access_tokens" ("user_id");
25
26CREATE TABLE "contacts" (
27 "id" INTEGER PRIMARY KEY,
28 "user_id_a" INTEGER REFERENCES users (id) NOT NULL,
29 "user_id_b" INTEGER REFERENCES users (id) NOT NULL,
30 "a_to_b" BOOLEAN NOT NULL,
31 "should_notify" BOOLEAN NOT NULL,
32 "accepted" BOOLEAN NOT NULL
33);
34CREATE UNIQUE INDEX "index_contacts_user_ids" ON "contacts" ("user_id_a", "user_id_b");
35CREATE INDEX "index_contacts_user_id_b" ON "contacts" ("user_id_b");
36
37CREATE TABLE "rooms" (
38 "id" INTEGER PRIMARY KEY,
39 "live_kit_room" VARCHAR NOT NULL
40);
41
42CREATE TABLE "projects" (
43 "id" INTEGER PRIMARY KEY,
44 "room_id" INTEGER REFERENCES rooms (id) NOT NULL,
45 "host_user_id" INTEGER REFERENCES users (id) NOT NULL,
46 "host_connection_id" INTEGER NOT NULL
47);
48
49CREATE TABLE "worktrees" (
50 "project_id" INTEGER NOT NULL REFERENCES projects (id) ON DELETE CASCADE,
51 "id" INTEGER NOT NULL,
52 "root_name" VARCHAR NOT NULL,
53 "abs_path" VARCHAR NOT NULL,
54 "visible" BOOL NOT NULL,
55 "scan_id" INTEGER NOT NULL,
56 "is_complete" BOOL NOT NULL,
57 PRIMARY KEY(project_id, id)
58);
59CREATE INDEX "index_worktrees_on_project_id" ON "worktrees" ("project_id");
60
61CREATE TABLE "worktree_entries" (
62 "project_id" INTEGER NOT NULL,
63 "worktree_id" INTEGER NOT NULL,
64 "id" INTEGER NOT NULL,
65 "is_dir" BOOL NOT NULL,
66 "path" VARCHAR NOT NULL,
67 "inode" INTEGER NOT NULL,
68 "mtime_seconds" INTEGER NOT NULL,
69 "mtime_nanos" INTEGER NOT NULL,
70 "is_symlink" BOOL NOT NULL,
71 "is_ignored" BOOL NOT NULL,
72 PRIMARY KEY(project_id, worktree_id, id),
73 FOREIGN KEY(project_id, worktree_id) REFERENCES worktrees (project_id, id) ON DELETE CASCADE
74);
75CREATE INDEX "index_worktree_entries_on_project_id" ON "worktree_entries" ("project_id");
76CREATE INDEX "index_worktree_entries_on_project_id_and_worktree_id" ON "worktree_entries" ("project_id", "worktree_id");
77
78CREATE TABLE "worktree_diagnostic_summaries" (
79 "project_id" INTEGER NOT NULL,
80 "worktree_id" INTEGER NOT NULL,
81 "path" VARCHAR NOT NULL,
82 "language_server_id" INTEGER NOT NULL,
83 "error_count" INTEGER NOT NULL,
84 "warning_count" INTEGER NOT NULL,
85 PRIMARY KEY(project_id, worktree_id, path),
86 FOREIGN KEY(project_id, worktree_id) REFERENCES worktrees (project_id, id) ON DELETE CASCADE
87);
88CREATE INDEX "index_worktree_diagnostic_summaries_on_project_id" ON "worktree_diagnostic_summaries" ("project_id");
89CREATE INDEX "index_worktree_diagnostic_summaries_on_project_id_and_worktree_id" ON "worktree_diagnostic_summaries" ("project_id", "worktree_id");
90
91CREATE TABLE "language_servers" (
92 "id" INTEGER NOT NULL,
93 "project_id" INTEGER NOT NULL REFERENCES projects (id) ON DELETE CASCADE,
94 "name" VARCHAR NOT NULL,
95 PRIMARY KEY(project_id, id)
96);
97CREATE INDEX "index_language_servers_on_project_id" ON "language_servers" ("project_id");
98
99CREATE TABLE "project_collaborators" (
100 "id" INTEGER PRIMARY KEY,
101 "project_id" INTEGER NOT NULL REFERENCES projects (id) ON DELETE CASCADE,
102 "connection_id" INTEGER NOT NULL,
103 "user_id" INTEGER NOT NULL,
104 "replica_id" INTEGER NOT NULL,
105 "is_host" BOOLEAN NOT NULL
106);
107CREATE INDEX "index_project_collaborators_on_project_id" ON "project_collaborators" ("project_id");
108CREATE UNIQUE INDEX "index_project_collaborators_on_project_id_and_replica_id" ON "project_collaborators" ("project_id", "replica_id");
109
110CREATE TABLE "room_participants" (
111 "id" INTEGER PRIMARY KEY,
112 "room_id" INTEGER NOT NULL REFERENCES rooms (id),
113 "user_id" INTEGER NOT NULL REFERENCES users (id),
114 "answering_connection_id" INTEGER,
115 "location_kind" INTEGER,
116 "location_project_id" INTEGER REFERENCES projects (id),
117 "initial_project_id" INTEGER REFERENCES projects (id),
118 "calling_user_id" INTEGER NOT NULL REFERENCES users (id),
119 "calling_connection_id" INTEGER NOT NULL
120);
121CREATE UNIQUE INDEX "index_room_participants_on_user_id" ON "room_participants" ("user_id");