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

Remove warnings about WPT syncing process.

Browse source
This commit is contained in:
Josh Matthews 2018-08-16 06:44:40 -07:00 • committed by GitHub
parent 89ab110357
commit 9ee7860665
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -95,14 +95,12 @@ function unsafe_open_pull_request() {
git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" &>/dev/null || return 3 git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" &>/dev/null || return 3
# Prepare the pull request metadata. # Prepare the pull request metadata.
BODY=":warning: Do not merge this PR without verifying that it " BODY="Automated downstream sync of changes from upstream as of "
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+="${CURRENT_DATE}.\n"
BODY+="[no-wpt-sync]" BODY+="[no-wpt-sync]"
cat <<EOF >prdata.json || return 4 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}", "head": "${WPT_SYNC_USER}:${BRANCH_NAME}",
"base": "master", "base": "master",
"body": "${BODY}", "body": "${BODY}",