Handle branch deletion

haskellfoundation · Dec 30, 2021 · 30a0666 · 30a0666
1 parent cec5061
commit 30a0666
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deployment/deploy.sh b/.github/workflows/deployment/deploy.sh
@@ -35,7 +35,7 @@ deploy() {
   else
     # Patch html files to tell search engine bots like google-bot not to index this content.
     # More info: https://developers.google.com/search/docs/advanced/crawling/block-indexing
-    find $site_src -name '*.html' -exec sed -i 's/<head>/<head><meta name="robots" content="noindex, nofollow">/g' {}
+    find $site_src -name '*.html' -exec sed -i 's/<head>/<head><meta name="robots" content="noindex, nofollow">/g' {} \;
 
     branch_slug=$(slugify $git_branch)
     site_dest="${gh_pages_dir}/branches/${branch_slug}"