Fix PR creation by using fully qualified refname on release
This commit is contained in:
1 parent
17889a1a85
commit
d319eb2187
1 file changed
+1
-1
@@ -396,5 +396,5 @@ jobs:
|
|||||||
title="Update signatures of ${TAG_NAME#jq-}"
|
title="Update signatures of ${TAG_NAME#jq-}"
|
||||||
git commit -m "$title"
|
git commit -m "$title"
|
||||||
branch="update-signatures-${TAG_NAME#jq-}"
|
branch="update-signatures-${TAG_NAME#jq-}"
|
||||||
git push origin "HEAD:$branch"
|
git push origin "HEAD:refs/heads/$branch"
|
||||||
gh pr create --title "$title" --body "" --head "$branch"
|
gh pr create --title "$title" --body "" --head "$branch"
|
||||||
Reference in new issue
Block a user