diff --git a/tools/branch-deploy.sh b/tools/branch-deploy.sh index 3050506..0808e17 100755 --- a/tools/branch-deploy.sh +++ b/tools/branch-deploy.sh @@ -21,6 +21,9 @@ rm -rf ${TARGET_FOLDER}/* INDEX_PAGE="${TARGET_FOLDER}/index.html" echo "
Deploying...
" > "${INDEX_PAGE}" +# Create a block all robots.txt +echo -e "User-agent: *\nDisallow: /" > ${TARGET_FOLDER}/robots.txt" + # Checkout a local bare copy, to speed up later checkouts ORIGIN=$(git config --get remote.origin.url) BARE_FOLDER=`mktemp -u -d`