Skip to content

port https://github.com/servo/servo/pull/33630 #4

port https://github.com/servo/servo/pull/33630

port https://github.com/servo/servo/pull/33630 #4

name: Automerge Dependabot & WPT Updates
on: pull_request
permissions:
pull-requests: read
jobs:
auto-merge:
runs-on: ubuntu-latest
if: ${{ github.actor == 'dependabot[bot]' || github.actor == 'servo-wpt-sync' }}
steps:
- name: Approve the PR & enable auto-merge
run: |
gh pr review --approve "$PR_URL"
gh pr merge --auto --merge "$PR_URL"
env:
PR_URL: ${{ github.event.pull_request.html_url }}
GH_TOKEN: ${{ secrets.SERVO_DEPENDABOT_TOKEN }}