diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout index 2b20fb0d058..1ab4b62ec64 100755 --- a/etc/ci/update-wpt-checkout +++ b/etc/ci/update-wpt-checkout @@ -118,7 +118,8 @@ function unsafe_open_pull_request() { # Prepare the pull request metadata. BODY="Automated downstream sync of changes from upstream as of " BODY+="${CURRENT_DATE}.\n" - BODY+="[no-wpt-sync]" + BODY+="[no-wpt-sync]\n" + BODY+="r? @servo-wpt-sync\n" cat <prdata.json || return 4 { "title": "Sync WPT with upstream (${CURRENT_DATE})",