Enable auto-merge for bot-created PRs (#1490)

This still requires a human to review, but one less button to click.
This commit is contained in:
Derek Schuff
2024-11-19 11:32:28 -08:00
committed by GitHub
parent 75eb9522ae
commit cbbb7f359a

View File

@@ -33,3 +33,7 @@ jobs:
https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.lto-sha }} (LTO)
https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.nonlto-sha }} (asserts)
delete-branch: true
- name: Enable auto-merge
run: gh pr merge --squash --auto "${{ steps.cpr.outputs.pull-request-number }}"
env:
GH_TOKEN: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}