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

Auto merge of #21434 - servo:jdm-patch-19, r=jdm

Browse source 
Remove warnings about WPT syncing process.

The process is well understood now and they're just annoying to remove every time.

<!-- 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/21434)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-08-19 14:24:53 -04:00 • committed by GitHub
commit d34403047e
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
# 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}",