chore: open backport pull requests without a body (#32385)

This commit is contained in:
andig 2026-08-01 12:59:45 +02:00 • committed by GitHub
parent 4433480e45
commit 763f386568
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -155,20 +155,21 @@ jobs:
BRANCH: ${{ steps.pr.outputs.branch }}
TARGET: ${{ steps.pr.outputs.target }}
TITLE: ${{ steps.pr.outputs.title }}
NUMBER: ${{ github.event.issue.number }}
ACTOR: ${{ github.event.comment.user.login }}
run: |
# the release line the branch was cut from, 0.313 for release/0.313.1
line=$(echo "${TARGET#release/}" | cut -d. -f1,2)
# the pull request is authored by the deploy token, so name the requester
# the pull request is authored by the deploy token, so assign the
# requester. the body stays empty, squashing it would carry the text
# into the release branch as the commit description
url=$(gh pr create \
--base "$TARGET" \
--head "$BRANCH" \
--title "$line backport: $TITLE" \
--label backport \
--assignee "$ACTOR" \
--body "Backport of #$NUMBER to \`$TARGET\`, requested by @$ACTOR.")
--body "")
echo "url=$url" >> "$GITHUB_OUTPUT"
- name: Comment result