Skip to content

fix(push-script): fetch PR HEAD sha before git worktree add (closes #966)#972

Open
joelteply wants to merge 1 commit intomainfrom
fix/rebuild-stale-worktree-fetch
Open

fix(push-script): fetch PR HEAD sha before git worktree add (closes #966)#972
joelteply wants to merge 1 commit intomainfrom
fix/rebuild-stale-worktree-fetch

Commits

Commits on Apr 25, 2026