beckermj/vaguerent
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

scripts: add website_push_docs

Browse Source
This commit is contained in:
Mitchell Hashimoto 2013-09-03 11:37:54 -07:00
parent 3e995f6565
commit edc6d71682
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
scripts/website_push_docs.sh Executable file
View File

@ -0,0 +1,12 @@
#!/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