Problem
When parsec ship partially succeeds (push OK, PR creation fails), the worktree is preserved and the user is told to retry. If the user amends the commit before retrying, the push fails with non-fast-forward error because git push -u origin <branch> doesn't handle diverged history.
Expected
parsec ship should use --force-with-lease when pushing, which safely handles amended commits while still preventing accidental overwrites.
Reproduction
parsec ship <ticket> → push succeeds, PR creation fails (e.g., 401)
- Fix issue, amend commit
parsec ship <ticket> → fails with non-fast-forward
Problem
When
parsec shippartially succeeds (push OK, PR creation fails), the worktree is preserved and the user is told to retry. If the user amends the commit before retrying, the push fails with non-fast-forward error becausegit push -u origin <branch>doesn't handle diverged history.Expected
parsec shipshould use--force-with-leasewhen pushing, which safely handles amended commits while still preventing accidental overwrites.Reproduction
parsec ship <ticket>→ push succeeds, PR creation fails (e.g., 401)parsec ship <ticket>→ fails with non-fast-forward