diff --git a/scripts/deploy.sh b/scripts/deploy.sh index ccd83f9..65a674a 100755 --- a/scripts/deploy.sh +++ b/scripts/deploy.sh @@ -5,15 +5,9 @@ git config --global user.name $USER_NAME git config --global user.email $USER_EMAIL -# Pull latest version of published subtree -git checkout master -git subtree pull --prefix=docs --message="[skip ci] Update subtree" https://47deg:$GITHUB_API_KEY@github.com/47deg/47deg.github.io.git master - # Build & Commit built site +git checkout master lein run git add docs git commit -m "[skip ci] Generate site" git push https://47deg:$GITHUB_API_KEY@github.com/47deg/org master - -# Push built subtree to official website -git subtree push --prefix=docs https://47deg:$GITHUB_API_KEY@github.com/47deg/47deg.github.io.git master