MissionControl's GitKit migration still keeps git push --force-with-lease origin <branch> as a shell fallback.
GitKit exposes Repository.push(...), including force refspecs, but MC needs real force-with-lease protection for auto-rebased agent branches: the push must fail if the remote branch advanced unexpectedly since the local lease was observed.
Needed surface: a GitKit push API that can express force-with-lease semantics, or an equivalent compare-and-push primitive that preserves the race protection of git push --force-with-lease.
MissionControl's GitKit migration still keeps
git push --force-with-lease origin <branch>as a shell fallback.GitKit exposes
Repository.push(...), including force refspecs, but MC needs real force-with-lease protection for auto-rebased agent branches: the push must fail if the remote branch advanced unexpectedly since the local lease was observed.Needed surface: a GitKit push API that can express force-with-lease semantics, or an equivalent compare-and-push primitive that preserves the race protection of
git push --force-with-lease.