From d1e39c9229736ded5fe46acacf8679e252cfec8f Mon Sep 17 00:00:00 2001 From: Martin Sosic Date: Tue, 29 Oct 2019 16:32:32 +0100 Subject: [PATCH] Tiny fix on landing page deployment script. --- landing-page/deploy-master-to-gh-pages.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/landing-page/deploy-master-to-gh-pages.sh b/landing-page/deploy-master-to-gh-pages.sh index 7581c4e34..a53e8e475 100755 --- a/landing-page/deploy-master-to-gh-pages.sh +++ b/landing-page/deploy-master-to-gh-pages.sh @@ -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