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

Review WPT sync PRs automatically

Browse source
This commit is contained in:
CYBAI 2019-04-04 23:20:47 +09:00
parent 5defd51ba7
commit 69da3aee19
1 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

14
etc/ci/update-wpt-checkout
View file

@ -112,10 +112,16 @@ function unsafe_open_pull_request() {
EOF EOF
# Open a pull request using the new branch. # Open a pull request using the new branch.
curl -H "Authorization: token ${WPT_SYNC_TOKEN}" \ OPEN_PR_RESPONSE=$(curl -H "Authorization: token ${WPT_SYNC_TOKEN}" \
-H "Content-Type: application/json" \ -H "Content-Type: application/json" \
--data @prdata.json \ --data @prdata.json \
https://api.github.com/repos/servo/servo/pulls || return 5 https://api.github.com/repos/servo/servo/pulls) || return 5
echo "${OPEN_PR_RESPONSE}" | \
jq '.review_comments_url' | \
sed 's/pulls/issues/' | \
xargs curl -H "Authorization: token ${WPT_SYNC_TOKEN}" \
--data "{\"body\":\"@bors-servo r+\"}" || return 6
} }
function pull_from_upstream() { function pull_from_upstream() {