Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

Approve PR automatically after WPT sync successfully

Browse source
This commit is contained in:
cybai 2023-01-24 11:22:23 +09:00
parent 941bd6a579
commit 9b9a7aea02
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/wpt-nightly.yml vendored
View file

@ -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+"