coursebook/_scripts/deploy.sh

#!/bin/bash

set -e;

if test $BUILD_FOCUS = WIKI
then
    # Set environment variables used in the next script
    export NUM_RETRIES=3;
    export BUILD_TIME=10;
    export CLONE_DIR=`mktemp -d`;

    # Run the actual script
    bash _scripts/push_to_wiki.sh;
else
    # Copy main to a tempfile, so we don't get any checkout errors
    TMP_DIR=`mktemp -d`;

    if test $BUILD_FOCUS = "PDF"
    then
        find . -maxdepth 2 -iname "*.pdf" -exec mv {} $TMP_DIR \;
        BRANCH="pdf_deploy"
    else
        find . -iname "*.epub" -exec mv {} $TMP_DIR \;
        BRANCH="epub_deploy"
    fi

    # Grab an orphaned branch, so git doesn't calculate diffs
    git checkout --orphan $BRANCH;

    # Set up ssh 
    git config --global core.sshCommand "ssh -i /tmp/deploy_wiki -F /dev/null";


    # Remove all other files, we won't need them
    rm -rf * || true;
    rm -rf .github .gitattributes .gitignore || true;

    # Move the tempfile back to the coursebook pdf
    mv $TMP_DIR/* .;

    # Git add commit
    git add -A;
    git commit -m "Adding build on $(date)" --author "$COMMITTER_EMAIL <$AUTHOR_NAME>" || true

    # Swap the https origin for the ssh origin so we can push
    OLD_ORIGIN=`git remote get-url origin`;
    git remote set-url origin git@github.com:${GITHUB_REPOSITORY}.git;
    git push origin --force $BRANCH;

    # Swap it back
    git remote set-url origin ${OLD_ORIGIN};
fi