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

Assign bot reviewer for automated sync PRs.

Browse source
This commit is contained in:
Josh Matthews 2019-09-30 10:09:49 -04:00 • committed by GitHub
parent 402db83b2b
commit 9e575d6357
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -118,7 +118,8 @@ function unsafe_open_pull_request() {
# Prepare the pull request metadata. # Prepare the pull request metadata.
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+="${CURRENT_DATE}.\n"
BODY+="[no-wpt-sync]" BODY+="[no-wpt-sync]\n"
BODY+="r? @servo-wpt-sync\n"
cat <<EOF >prdata.json || return 4 cat <<EOF >prdata.json || return 4
{ {
"title": "Sync WPT with upstream (${CURRENT_DATE})", "title": "Sync WPT with upstream (${CURRENT_DATE})",