Development record

A lane worktree made with git worktree add -b <name> <path> origin/main tracks origin/main, so a bare git push from it aims at main. On 2026-10-15 a post-preflight push from such a branch was refused only by push.default=simple, because the names differ; under push.default=upstream it would have pushed a feature branch's commits to main.