Pico/build/deploy-phpdoc.sh

#!/usr/bin/env bash
# Modified from: https://gist.github.com/domenic/ec8b0fc8ab45f39403dd

# Exit with nonzero exit code if anything fails
set -e

# Clone Pico, then create & checkout gh-pages branch
git clone -b gh-pages "https://github.com/picocms/Pico.git $TRAVIS_BUILD_DIR/build/Pico"

# Inside this git repo we'll pretend to be a new user
git config user.name "Travis CI"
git config user.email "travis-ci@picocms.org"

#copy new files to release number
cp -a $TRAVIS_BUILD_DIR/build/docs/$TRAVIS_TAG $TRAVIS_BUILD_DIR/build/Pico/phpDoc/$TRAVIS_TAG
#move old master files to old-stable
mv -f $TRAVIS_BUILD_DIR/build/Pico/phpDoc/master $TRAVIS_BUILD_DIR/build/Pico/phpDoc/old-stable
#copy new files to master
cp -a $TRAVIS_BUILD_DIR/build/docs/$TRAVIS_TAG $TRAVIS_BUILD_DIR/build/Pico/phpDoc/master

# Add the files to our commit
git add $TRAVIS_BUILD_DIR/build/Pico/phpDoc/*

# Commit the files with our commit message
git commit -m "Update Documentation for Pico $TRAVIS_TAG"

# Force push from the current repo's gh-pages branch to the remote repo's gh-pages branch.
# We redirect output to /dev/null to hide any sensitive data that might otherwise be exposed.
git push --force --quiet "https://${GITHUB_OAUTH_TOKEN}@github.com/picocms/Pico.git" master:gh-pages > /dev/null 2>&1