Skip to content

Fix grumpy-reviewer checkout (PR-branch fetch fails: not a git repository) - #16617

Merged
bodhish merged 1 commit into
developfrom
grumpy-reviewer-checkout-fix
Jul 31, 2026
Merged

Fix grumpy-reviewer checkout (PR-branch fetch fails: not a git repository)#16617
bodhish merged 1 commit into
developfrom
grumpy-reviewer-checkout-fix

Commits

Commits on Jul 31, 2026