diff --git a/docs/deploy.sh b/docs/deploy.sh index 94e3cab062..45596212cf 100644 --- a/docs/deploy.sh +++ b/docs/deploy.sh @@ -32,7 +32,12 @@ git commit -a -m "Updated HTML docs" # echo "Skipping deployment" git push origin gh-pages -# get back to previous branch -git checkout - +if [[ -z ${CI} ]]; then + # skip getting back in CI build + echo "In CI build" +else + # get back to previous branch + git checkout - +fi echo "Deployed to https://evennia.github.io/evennia/"