diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2018-02-01 23:10:45 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-01 23:10:45 -0500 |
| commit | ee2ef627c804ebea0cf41af219f8ee9646d7fb47 (patch) | |
| tree | 29c4d3c074d90fad27df051ef5aae7e9741fc208 | |
| parent | b5e5a99cb773a8df6f8f2ee40d8ae42ae46bab92 (diff) | |
| download | servo-ee2ef627c804ebea0cf41af219f8ee9646d7fb47.tar.gz servo-ee2ef627c804ebea0cf41af219f8ee9646d7fb47.zip | |
Fix syntax error in WPT syncing script.
| -rwxr-xr-x | etc/ci/update-wpt-checkout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout index 77a96b70bd8..d8ad9d6e5ac 100755 --- a/etc/ci/update-wpt-checkout +++ b/etc/ci/update-wpt-checkout @@ -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]" |