Pick any line to see why it is the way it is: the commit, the pull request and issue it came from, and what the agent was thinking.
| The runner base keeps its old comment, so the pushed base image still matches its folder | 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 | ); |
This file's history is long; its oldest lines are credited to the oldest commit read.