g1t/services/identity/migrations/0016_deleted_workspaces.sql
| 1 | -- Deleting a workspace. Its row, members, tokens and old-slug redirects go; |
| 2 | -- its slug is kept here so it is never given to another workspace or |
| 3 | -- account: links and git remotes under it (a transferred repository's old |
| 4 | -- path, say) keep meaning what they meant, and nobody can squat the name. |
| 5 | -- The person whose username the slug is may make a workspace of that name |
| 6 | -- again; see src/deletion.rs. |
| 7 | CREATE TABLE IF NOT EXISTS deleted_workspaces ( |
| 8 | slug TEXT PRIMARY KEY, |
| 9 | workspace_id TEXT NOT NULL, |
| 10 | name TEXT NOT NULL, |
| 11 | deleted_by TEXT NOT NULL, |
| 12 | deleted_at TEXT NOT NULL |
| 13 | ); |