fix gh pr create by adding explicit head

egraphs-good · Apr 26, 2024 · 8f01c89 · 8f01c89
1 parent 89a7a48
commit 8f01c89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml
@@ -38,7 +38,7 @@ jobs:
           VERSION=$(python increment_version.py $TYPE)
           git checkout -b "release-$VERSION"
           git commit -am "Version $VERSION"
-          gh pr create --fill
+          gh pr create --fill --head release-$VERSION
           echo "version=$VERSION" >> GITHUB_OUTPUT
         id: bump
         env: