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

Auto merge of #24322 - servo:jdm-patch-58, r=nox

Browse source 
Assign bot reviewer for automated sync PRs.

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/24322)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-09-30 23:42:53 -04:00 • committed by GitHub
commit ed21744688
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -118,7 +118,8 @@ function unsafe_open_pull_request() {
# Prepare the pull request metadata. # Prepare the pull request metadata.
BODY="Automated downstream sync of changes from upstream as of " BODY="Automated downstream sync of changes from upstream as of "
BODY+="${CURRENT_DATE}.\n" BODY+="${CURRENT_DATE}.\n"
BODY+="[no-wpt-sync]" BODY+="[no-wpt-sync]\n"
BODY+="r? @servo-wpt-sync\n"
cat <<EOF >prdata.json || return 4 cat <<EOF >prdata.json || return 4
{ {
"title": "Sync WPT with upstream (${CURRENT_DATE})", "title": "Sync WPT with upstream (${CURRENT_DATE})",