From b003f5ad060c58aca7887f72e5995c66df729874 Mon Sep 17 00:00:00 2001
From: Josh Matthews <josh@joshmatthews.net>
Date: Wed, 31 Jan 2018 22:37:52 -0500
Subject: [PATCH] Supress output from git push in WPT sync.

---
 etc/ci/update-wpt-checkout | 2 +-
 etc/ci/upload_docs.sh      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
index 574be72e716..083d8f27842 100755
--- a/etc/ci/update-wpt-checkout
+++ b/etc/ci/update-wpt-checkout
@@ -94,7 +94,7 @@ function unsafe_open_pull_request() {
     AUTH="${WPT_SYNC_USER}:${WPT_SYNC_TOKEN}"
     UPSTREAM="https://${AUTH}@github.com/${WPT_SYNC_USER}/servo.git"
     git remote add "${REMOTE_NAME}" "${UPSTREAM}" || return 2
-    git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" || return 3
+    git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" &>/dev/null || return 3
 
     # Prepare the pull request metadata.
     BODY="Automated downstream sync of changes from upstream as of "
diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh
index 2a2cc7ac0a9..132d5fe35c9 100755
--- a/etc/ci/upload_docs.sh
+++ b/etc/ci/upload_docs.sh
@@ -36,4 +36,4 @@ cd ../..
 ghp-import -n target/doc
 git push -qf \
     "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
-    >/dev/null 2>&1
+    &>/dev/null