gitfor, on gitfor!
Report repository
-- 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 );