From 97b218d098e0e4e951047c6124b224561ab91f82 Mon Sep 17 00:00:00 2001
From: Josh Matthews <josh@joshmatthews.net>
Date: Sun, 11 Feb 2018 22:09:20 -0500
Subject: [PATCH 1/2] Propagate error code from fetching WPT changes.

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

diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
index d0ae5c57be0..ca0cd5d0b6b 100755
--- a/etc/ci/update-wpt-checkout
+++ b/etc/ci/update-wpt-checkout
@@ -164,6 +164,8 @@ function main() {
         if [[ "${code}" == "255" ]]; then
             echo "No changes to sync."
             return 0
+        elif [[ "${code}" != "" ]]; then
+            return "${code}"
         fi
     fi
 

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 2/2] 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() {