migrations

2023-10-31 20:31:17 -07:00
parent c55a9e8b98
commit 334c09df7c
5 changed files with 19 additions and 3 deletions
@@ -0,0 +1,8 @@
+CREATE TABLE games (
+	id text,
+	name text, -- user defined
+	repo_fullname text, -- e.g. "username/reponame"
+	repo_hosttype text, -- "github", "gitea", "gitlab", ...
+	repo_token text, -- an api auth token to read from the repo
+	user_id text
+)