mirror of
https://github.com/servo/servo.git
synced 2025-08-04 21:20:23 +01:00
Auto merge of #29293 - CYBAI:sync-pr-comment, r=jdm
Approve PR automatically after WPT sync successfully This PR will utilize the `gh pr comment` command to comment `r+` as @servo-wpt-sync so that we can merge WPT sync PRs more easily. --- - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes do not require tests because it's related to the WPT sync CI job
This commit is contained in:
commit
f8e014d0ba
1 changed files with 3 additions and 2 deletions
5
.github/workflows/wpt-nightly.yml
vendored
5
.github/workflows/wpt-nightly.yml
vendored
|
@ -134,5 +134,6 @@ jobs:
|
|||
r? @servo-wpt-sync
|
||||
EOF
|
||||
)
|
||||
# TODO: comment `@bors-servo r+` from `@servo-wpt-sync`
|
||||
gh pr create --title "Sync WPT with upstream (${{ env.CURRENT_DATE }})" --body "$BODY" --head ${{ env.UPDATE_BRANCH }}
|
||||
gh pr create \
|
||||
--title "Sync WPT with upstream (${{ env.CURRENT_DATE }})" \
|
||||
--body "$BODY" --head ${{ env.UPDATE_BRANCH }} | xargs gh pr comment $1 --body "@bors-servo r+"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue