pr_01m47d15m3e54sn21z27rpy5n9/services/repos/migrations/0003_protection.sql
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.
| Agents as a team: lifecycle, merge queue, billing and a new shell | 1 | -- A protected repository's default branch changes only by merging a pull |
| 2 | -- request. Pushes to it are refused. | |
| 3 | ALTER TABLE repos ADD COLUMN protected INTEGER NOT NULL DEFAULT 0; |