diff options
| -rwxr-xr-x | etc/ci/update-wpt-checkout | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout index 8da094bf5ab..9e621ce76ad 100755 --- a/etc/ci/update-wpt-checkout +++ b/etc/ci/update-wpt-checkout @@ -95,14 +95,12 @@ function unsafe_open_pull_request() { git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" &>/dev/null || return 3 # 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+="Automated downstream sync of changes from upstream as of " + BODY="Automated downstream sync of changes from upstream as of " BODY+="${CURRENT_DATE}.\n" BODY+="[no-wpt-sync]" cat <<EOF >prdata.json || return 4 { - "title": "[WIP] Sync WPT with upstream (${CURRENT_DATE})", + "title": "Sync WPT with upstream (${CURRENT_DATE})", "head": "${WPT_SYNC_USER}:${BRANCH_NAME}", "base": "master", "body": "${BODY}", |