Push a worktree branch to main with git push origin HEAD:main

When the feature branch in a git worktree tracks origin/main and has the same tip, git push origin HEAD:main lands its commits directly, with no merge commit and without checking out main in the primary worktree, where main may hold unrelated stashed work. First confirm git rev-parse HEAD equals origin/main after fetching. In a repo where pushing to main triggers a production deploy, follow the push with a background loop that polls gh run list per workflow until the run for the pushed SHA completes.