try fixing gh pr create again

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