| 1 | -- A repository that mirrors a remote which leads (see crates/contracts |
| 2 | -- src/mirrors.rs). The integrations service owns the link and sets this |
| 3 | -- through `set_mirror`; it is kept here so pushes, merges and agents are |
| 4 | -- refused or allowed without asking anyone. |
| 5 | -- |
| 6 | -- mirror: JSON `RepoMirror` (state standby | ci | takeover | handing_back, |
| 7 | -- the remote's name and address, since, and the workflow levers). Null |
| 8 | -- for a repository that leads. |
| 9 | ALTER TABLE repos ADD COLUMN mirror TEXT; |