Fix release merge instructions

This commit is contained in:
Félix Saparelli 2022-06-16 20:54:21 +12:00
parent e98989f099
commit 18dea4b6e6
No known key found for this signature in database
GPG Key ID: B948C4BAE44FC474
1 changed files with 3 additions and 6 deletions

View File

@ -96,17 +96,14 @@ jobs:
body="$body body="$body
\`\`\` \`\`\`
$ cd crates/${{ inputs.crate }} $ cd crates/${{ env.crate_path }}
$ cargo publish $ cargo publish
\`\`\` \`\`\`
To merge this release, review the changes then say: To merge this release, review the changes then say:
\`\`\` `bors r+ p=10`
bors r+
\`\`\`"
pr_url=$(gh pr create --title "$title" --body "$body" --base main --head "${{ env.branch_name }}" --label "release") gh pr create --title "$title" --body "$body" --base main --head "${{ env.branch_name }}" --label "release"
gh pr comment "$pr_url" --body "bors single on\nbors p=10"
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}