From 9480ac0ea6f2e8c8a3491215f807970ee8d1e955 Mon Sep 17 00:00:00 2001
From: Michael Bryan <michaelfbryan@gmail.com>
Date: Sat, 30 Dec 2017 23:31:32 +0800
Subject: [PATCH] All git commands in github_pages.sh are now `--quiet`

---
 ci/github_pages.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ci/github_pages.sh b/ci/github_pages.sh
index 4a45b145..f96aefc7 100644
--- a/ci/github_pages.sh
+++ b/ci/github_pages.sh
@@ -37,14 +37,14 @@ git config user.name "Michael Bryan"
 git config user.email "michaelfbryan@gmail.com"
 
 git remote add upstream "https://$GH_TOKEN@github.com/rust-lang-nursery/mdBook.git"
-git fetch upstream
-git reset upstream/gh-pages
+git fetch upstream --quiet
+git reset upstream/gh-pages --quiet
 
 touch .
 
 echo -e "${CYAN}Pushing changes to gh-pages${NC}"
-git add -A .
-git commit -m "rebuild pages at ${rev}"
-git push -q upstream HEAD:gh-pages
+git add -A . --quiet
+git commit -m "rebuild pages at ${rev}" --quiet
+git push -q upstream HEAD:gh-pages --quiet
 
 echo -e "${GREEN}Deployed docs to GitHub Pages${NC}"