| 1 | -- Archived: a repository kept for reading, closed for writing. |
| 2 | -- |
| 3 | -- A column rather than a marker in the bare repo, because it is a Steid decision |
| 4 | -- rather than a git one: the push refusal is enforced in `serve_git` beside the |
| 5 | -- `Role::Owner` check, before the backend is spawned, and every listing that shows the |
| 6 | -- badge already reads the row. `default 0` so nothing becomes archived by migrating. |
| 7 | -- |
| 8 | -- Deliberately not visibility. Archiving says "this is finished", not "this is hidden": |
| 9 | -- clone, browse, search and archive download all keep working, and the profile still |
| 10 | -- lists it. The two are orthogonal, so an archived private repository is a real state. |
| 11 | repositories add column archived integer not null default 0; |