Andrew Reed 444c526519 Fix demo_ci_pr.sh gh pr create failing with multiple git remotes ...

gh couldn't infer a default repo when the local checkout has more than
one remote configured (e.g. a personal fork alongside origin), causing
a "No default remote repository has been set" warning after pushing.
Explicitly resolve the repo slug from the `origin` remote URL and pass
--repo/--head so this works regardless of local remote setup. Verified
against PR #29 (opened during live testing, closed without merging).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

2026-07-24 10:23:48 -04:00

..

demo_ci_pr.sh

Fix demo_ci_pr.sh gh pr create failing with multiple git remotes

2026-07-24 10:23:48 -04:00