mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-14 02:43:19 +03:00
ab8204368c
Over time, I think we may end up having multiple services, so it seems like a good opportunity to name this one more specifically while the cost is low. It just seems like naming it "zed" and "zed-server" leaves it a bit open ended.
27 lines
620 B
SQL
27 lines
620 B
SQL
CREATE TABLE IF NOT EXISTS "sessions" (
|
|
"id" VARCHAR NOT NULL PRIMARY KEY,
|
|
"expires" TIMESTAMP WITH TIME ZONE NULL,
|
|
"session" TEXT NOT NULL
|
|
);
|
|
|
|
CREATE TABLE IF NOT EXISTS "users" (
|
|
"id" SERIAL PRIMARY KEY,
|
|
"github_login" VARCHAR,
|
|
"admin" BOOLEAN
|
|
);
|
|
|
|
CREATE UNIQUE INDEX "index_users_github_login" ON "users" ("github_login");
|
|
|
|
CREATE TABLE IF NOT EXISTS "signups" (
|
|
"id" SERIAL PRIMARY KEY,
|
|
"github_login" VARCHAR,
|
|
"email_address" VARCHAR,
|
|
"about" TEXT
|
|
);
|
|
|
|
INSERT INTO users (github_login, admin)
|
|
VALUES
|
|
('nathansobo', true),
|
|
('maxbrunsfeld', true),
|
|
('as-cii', true);
|