Avoid duplicate error codes when opening WPT PR.

servo · Feb 12, 2018 · c515057 · c515057
1 parent 97b218d
commit c515057
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
@@ -116,7 +116,7 @@ EOF
     curl -H "Authorization: token ${WPT_SYNC_TOKEN}" \
          -H "Content-Type: application/json" \
          --data @prdata.json \
-         https://api.github.com/repos/servo/servo/pulls || return 4
+         https://api.github.com/repos/servo/servo/pulls || return 5
 }
 
 function pull_from_upstream() {