6 lines · 232 B
-- Names of deleted accounts stay retired forever so nobody can claim them and take over old URLs or git remotes (GIT-9).
CREATE TABLE retired_account_names (
  name TEXT PRIMARY KEY COLLATE NOCASE,
  retired_at INTEGER NOT NULL
);