Fix PR creation by specifying the branch on release
This commit is contained in:
1 parent
b33725c96e
commit
5b9d0750db
1 file changed
+5
-2
@@ -393,5 +393,8 @@ jobs:
|
||||
git add sig
|
||||
git config user.name 'github-actions[bot]'
|
||||
git config user.email 'github-actions[bot]@users.noreply.github.com'
|
||||
git commit -m "Update signatures of ${TAG_NAME#jq-}"
|
||||
gh pr create --title "Update signatures of ${TAG_NAME#jq-}" --body ""
|
||||
title="Update signatures of ${TAG_NAME#jq-}"
|
||||
git commit -m "$title"
|
||||
branch="update-signatures-${TAG_NAME#jq-}"
|
||||
git push origin "HEAD:$branch"
|
||||
gh pr create --title "$title" --body "" --head "$branch"
|
||||
Reference in new issue
Block a user