Tiny fix on landing page deployment script.

This commit is contained in:
Martin Sosic 2019-10-29 16:32:32 +01:00
parent 2e5394830d
commit d1e39c9229

View File

@ -4,5 +4,4 @@ DIR_TO_DEPLOY=`pwd`
DIR_TO_DEPLOY_REL_TO_GIT_ROOT="${DIR_TO_DEPLOY#"$GIT_ROOT"/}"
cd $GIT_ROOT
SUBTREE_MASTER_REF=`git subtree split --prefix "$DIR_TO_DEPLOY_REL_TO_GIT_ROOT" master`
echo "$SUBTREE_MASTER_REF"
git push origin "$SUBTREE_MASTER_REF":gh-pages --force