summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoritchyny <itchyny@cybozu.co.jp>2023-07-28 10:23:01 +0900
committeritchyny <itchyny@cybozu.co.jp>2023-07-28 10:25:06 +0900
commit5b9d0750db13a39bec3b54828b0b6b00d50767ca (patch)
tree8db6b20f6e253fe2610c77893291d1abce94b63c
parentb33725c96e36d82e4eb8d3871e7565f43a0c6251 (diff)
Fix PR creation by specifying the branch on release
-rw-r--r--.github/workflows/ci.yml7
1 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f2070c62..d17223d7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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"