docs_deploy.sh

#!/bin/sh
# ideas used from https://gist.github.com/motemen/8595451

# abort the script if there is a non-zero error
set -e

# show where we are on the machine
pwd

siteSource="$1"

if [ ! -d "$siteSource" ]
then
    echo "Usage: $0 <site source dir>"
    exit 1
fi

# now lets setup the docs repo so we can update them with the current build
git config --global user.email "Circle CI" > /dev/null 2>&1
git config --global user.name "bot@try.out" > /dev/null 2>&1
git clone git@github.com:sphinx-gallery/sphinx-gallery.github.io.git
cd sphinx-gallery.github.io/

# copy over or recompile the new site
git rm -rf .
cp -a "../${siteSource}/." .
# github nojekyll
touch .nojekyll

# stage any changes and new files
git add -A
# now commit
git commit --allow-empty -m "Update the docs from master"
# and push, but send any output to /dev/null to hide anything sensitive
git push --force --quiet origin master > /dev/null 2>&1

# go back to where we started
cd ..

echo "Finished Deployment!"