2022-11-11 12:41:44 +03:00
|
|
|
CREATE TABLE "users" (
|
2022-11-10 22:03:52 +03:00
|
|
|
"id" INTEGER PRIMARY KEY,
|
2022-11-10 06:15:05 +03:00
|
|
|
"github_login" VARCHAR,
|
|
|
|
"admin" BOOLEAN,
|
2022-11-10 22:03:52 +03:00
|
|
|
"email_address" VARCHAR(255) DEFAULT NULL,
|
|
|
|
"invite_code" VARCHAR(64),
|
|
|
|
"invite_count" INTEGER NOT NULL DEFAULT 0,
|
|
|
|
"inviter_id" INTEGER REFERENCES users (id),
|
|
|
|
"connected_once" BOOLEAN NOT NULL DEFAULT false,
|
|
|
|
"created_at" TIMESTAMP NOT NULL DEFAULT now,
|
|
|
|
"metrics_id" VARCHAR(255),
|
2022-11-10 06:15:05 +03:00
|
|
|
"github_user_id" INTEGER
|
|
|
|
);
|
|
|
|
CREATE UNIQUE INDEX "index_users_github_login" ON "users" ("github_login");
|
|
|
|
CREATE UNIQUE INDEX "index_invite_code_users" ON "users" ("invite_code");
|
|
|
|
CREATE INDEX "index_users_on_email_address" ON "users" ("email_address");
|
|
|
|
CREATE INDEX "index_users_on_github_user_id" ON "users" ("github_user_id");
|
|
|
|
|
2022-11-11 12:41:44 +03:00
|
|
|
CREATE TABLE "access_tokens" (
|
2022-11-10 22:03:52 +03:00
|
|
|
"id" INTEGER PRIMARY KEY,
|
2022-11-10 06:15:05 +03:00
|
|
|
"user_id" INTEGER REFERENCES users (id),
|
|
|
|
"hash" VARCHAR(128)
|
|
|
|
);
|
|
|
|
CREATE INDEX "index_access_tokens_user_id" ON "access_tokens" ("user_id");
|
|
|
|
|
2022-11-11 12:41:44 +03:00
|
|
|
CREATE TABLE "contacts" (
|
2022-11-10 22:03:52 +03:00
|
|
|
"id" INTEGER PRIMARY KEY,
|
2022-11-10 06:15:05 +03:00
|
|
|
"user_id_a" INTEGER REFERENCES users (id) NOT NULL,
|
|
|
|
"user_id_b" INTEGER REFERENCES users (id) NOT NULL,
|
|
|
|
"a_to_b" BOOLEAN NOT NULL,
|
|
|
|
"should_notify" BOOLEAN NOT NULL,
|
|
|
|
"accepted" BOOLEAN NOT NULL
|
|
|
|
);
|
|
|
|
CREATE UNIQUE INDEX "index_contacts_user_ids" ON "contacts" ("user_id_a", "user_id_b");
|
|
|
|
CREATE INDEX "index_contacts_user_id_b" ON "contacts" ("user_id_b");
|
|
|
|
|
2022-11-11 12:41:44 +03:00
|
|
|
CREATE TABLE "rooms" (
|
2022-11-10 22:03:52 +03:00
|
|
|
"id" INTEGER PRIMARY KEY,
|
2022-11-11 12:41:44 +03:00
|
|
|
"version" INTEGER NOT NULL,
|
|
|
|
"live_kit_room" VARCHAR NOT NULL
|
2022-11-10 06:15:05 +03:00
|
|
|
);
|
2022-11-11 12:41:44 +03:00
|
|
|
|
|
|
|
CREATE TABLE "projects" (
|
|
|
|
"id" INTEGER PRIMARY KEY,
|
|
|
|
"room_id" INTEGER REFERENCES rooms (id),
|
2022-11-14 12:13:36 +03:00
|
|
|
"host_user_id" INTEGER REFERENCES users (id) NOT NULL,
|
|
|
|
"host_connection_id" INTEGER NOT NULL
|
2022-11-11 12:41:44 +03:00
|
|
|
);
|
|
|
|
|
|
|
|
CREATE TABLE "worktrees" (
|
|
|
|
"id" INTEGER NOT NULL,
|
2022-11-15 18:37:32 +03:00
|
|
|
"project_id" INTEGER NOT NULL REFERENCES projects (id),
|
2022-11-11 12:41:44 +03:00
|
|
|
"root_name" VARCHAR NOT NULL,
|
2022-11-15 18:37:32 +03:00
|
|
|
"abs_path" VARCHAR NOT NULL,
|
2022-11-15 13:44:26 +03:00
|
|
|
"visible" BOOL NOT NULL,
|
|
|
|
"scan_id" INTEGER NOT NULL,
|
|
|
|
"is_complete" BOOL NOT NULL,
|
2022-11-11 12:41:44 +03:00
|
|
|
PRIMARY KEY(project_id, id)
|
|
|
|
);
|
|
|
|
CREATE INDEX "index_worktrees_on_project_id" ON "worktrees" ("project_id");
|
|
|
|
|
2022-11-15 18:37:32 +03:00
|
|
|
CREATE TABLE "worktree_entries" (
|
|
|
|
"id" INTEGER NOT NULL,
|
2022-11-15 19:18:28 +03:00
|
|
|
"project_id" INTEGER NOT NULL,
|
|
|
|
"worktree_id" INTEGER NOT NULL,
|
2022-11-15 18:37:32 +03:00
|
|
|
"is_dir" BOOL NOT NULL,
|
|
|
|
"path" VARCHAR NOT NULL,
|
|
|
|
"inode" INTEGER NOT NULL,
|
|
|
|
"mtime_seconds" INTEGER NOT NULL,
|
|
|
|
"mtime_nanos" INTEGER NOT NULL,
|
|
|
|
"is_symlink" BOOL NOT NULL,
|
|
|
|
"is_ignored" BOOL NOT NULL,
|
2022-11-15 20:02:07 +03:00
|
|
|
PRIMARY KEY(project_id, worktree_id, id),
|
2022-11-15 19:18:28 +03:00
|
|
|
FOREIGN KEY(project_id, worktree_id) REFERENCES worktrees (project_id, id)
|
2022-11-15 18:37:32 +03:00
|
|
|
);
|
|
|
|
CREATE INDEX "index_worktree_entries_on_project_id_and_worktree_id" ON "worktree_entries" ("project_id", "worktree_id");
|
|
|
|
|
|
|
|
CREATE TABLE "worktree_diagnostic_summaries" (
|
|
|
|
"path" VARCHAR NOT NULL,
|
2022-11-15 19:18:28 +03:00
|
|
|
"project_id" INTEGER NOT NULL,
|
|
|
|
"worktree_id" INTEGER NOT NULL,
|
2022-11-15 18:37:32 +03:00
|
|
|
"language_server_id" INTEGER NOT NULL,
|
|
|
|
"error_count" INTEGER NOT NULL,
|
|
|
|
"warning_count" INTEGER NOT NULL,
|
2022-11-15 19:18:28 +03:00
|
|
|
PRIMARY KEY(project_id, worktree_id, path),
|
|
|
|
FOREIGN KEY(project_id, worktree_id) REFERENCES worktrees (project_id, id)
|
2022-11-15 18:37:32 +03:00
|
|
|
);
|
|
|
|
CREATE INDEX "index_worktree_diagnostic_summaries_on_project_id_and_worktree_id" ON "worktree_diagnostic_summaries" ("project_id", "worktree_id");
|
|
|
|
|
|
|
|
CREATE TABLE "language_servers" (
|
|
|
|
"id" INTEGER NOT NULL,
|
|
|
|
"project_id" INTEGER NOT NULL REFERENCES projects (id),
|
|
|
|
"name" VARCHAR NOT NULL,
|
|
|
|
PRIMARY KEY(project_id, id)
|
|
|
|
);
|
|
|
|
CREATE INDEX "index_language_servers_on_project_id" ON "language_servers" ("project_id");
|
|
|
|
|
|
|
|
CREATE TABLE "project_collaborators" (
|
|
|
|
"id" INTEGER PRIMARY KEY,
|
|
|
|
"project_id" INTEGER NOT NULL REFERENCES projects (id),
|
|
|
|
"connection_id" INTEGER NOT NULL,
|
|
|
|
"user_id" INTEGER NOT NULL,
|
|
|
|
"replica_id" INTEGER NOT NULL,
|
|
|
|
"is_host" BOOLEAN NOT NULL
|
|
|
|
);
|
|
|
|
CREATE INDEX "index_project_collaborators_on_project_id" ON "project_collaborators" ("project_id");
|
|
|
|
CREATE UNIQUE INDEX "index_project_collaborators_on_project_id_and_replica_id" ON "project_collaborators" ("project_id", "replica_id");
|
|
|
|
|
2022-11-11 12:41:44 +03:00
|
|
|
CREATE TABLE "room_participants" (
|
|
|
|
"id" INTEGER PRIMARY KEY,
|
|
|
|
"room_id" INTEGER NOT NULL REFERENCES rooms (id),
|
|
|
|
"user_id" INTEGER NOT NULL REFERENCES users (id),
|
2022-11-11 21:36:20 +03:00
|
|
|
"answering_connection_id" INTEGER,
|
2022-11-11 12:41:44 +03:00
|
|
|
"location_kind" INTEGER,
|
2022-11-11 17:22:04 +03:00
|
|
|
"location_project_id" INTEGER REFERENCES projects (id),
|
|
|
|
"initial_project_id" INTEGER REFERENCES projects (id),
|
2022-11-14 12:13:36 +03:00
|
|
|
"calling_user_id" INTEGER NOT NULL REFERENCES users (id),
|
2022-11-11 21:36:20 +03:00
|
|
|
"calling_connection_id" INTEGER NOT NULL
|
2022-11-11 12:41:44 +03:00
|
|
|
);
|
2022-11-11 17:22:04 +03:00
|
|
|
CREATE UNIQUE INDEX "index_room_participants_on_user_id" ON "room_participants" ("user_id");
|