From c51505718beeee9accd1ef36f7cd245892cbc9f9 Mon Sep 17 00:00:00 2001
From: Josh Matthews <josh@joshmatthews.net>
Date: Sun, 11 Feb 2018 22:09:48 -0500
Subject: [PATCH] Avoid duplicate error codes when opening WPT PR.

---
 etc/ci/update-wpt-checkout | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
index ca0cd5d0b6b..648de52f926 100755
--- 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() {