All git commands in github_pages.sh are now `--quiet`
This commit is contained in:
parent
65900b87e6
commit
9480ac0ea6
|
@ -37,14 +37,14 @@ git config user.name "Michael Bryan"
|
||||||
git config user.email "michaelfbryan@gmail.com"
|
git config user.email "michaelfbryan@gmail.com"
|
||||||
|
|
||||||
git remote add upstream "https://$GH_TOKEN@github.com/rust-lang-nursery/mdBook.git"
|
git remote add upstream "https://$GH_TOKEN@github.com/rust-lang-nursery/mdBook.git"
|
||||||
git fetch upstream
|
git fetch upstream --quiet
|
||||||
git reset upstream/gh-pages
|
git reset upstream/gh-pages --quiet
|
||||||
|
|
||||||
touch .
|
touch .
|
||||||
|
|
||||||
echo -e "${CYAN}Pushing changes to gh-pages${NC}"
|
echo -e "${CYAN}Pushing changes to gh-pages${NC}"
|
||||||
git add -A .
|
git add -A . --quiet
|
||||||
git commit -m "rebuild pages at ${rev}"
|
git commit -m "rebuild pages at ${rev}" --quiet
|
||||||
git push -q upstream HEAD:gh-pages
|
git push -q upstream HEAD:gh-pages --quiet
|
||||||
|
|
||||||
echo -e "${GREEN}Deployed docs to GitHub Pages${NC}"
|
echo -e "${GREEN}Deployed docs to GitHub Pages${NC}"
|
||||||
|
|
Loading…
Reference in New Issue