Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #19932 - servo:jdm-patch-14, r=aneeshusa

Browse source 
Fix syntax error in WPT syncing script.

<!-- 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/19932)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-02-02 01:15:27 -05:00 • committed by GitHub
commit 1662fd7357
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -98,7 +98,7 @@ function unsafe_open_pull_request() {
# Prepare the pull request metadata.
BODY=":warning: Do not merge this PR without verifying that it "
BODY+="is not overwriting local changes to web-platform-tests. :warning:\n\n
BODY+="is not overwriting local changes to web-platform-tests. :warning:\n\n"
BODY+="Automated downstream sync of changes from upstream as of "
BODY+="${CURRENT_DATE}.\n"
BODY+="[no-wpt-sync]"