diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
index 78450b910ac..77a96b70bd8 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=":warning: Do not merge this PR without verifying that it "
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