vagrant/scripts/website_push_docs.sh

13 lines
360 B
Bash
Raw Normal View History

2013-09-03 18:37:54 +00:00
#!/bin/bash
# Get the parent directory of where this script is.
SOURCE="${BASH_SOURCE[0]}"
while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done
DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
# Change into that directory
cd $DIR
# Push the subtree (force)
git push heroku-docs `git subtree split --prefix website/docs master`:master --force