Merge pull request #3998 from rust-lang/robots-infra-rest

infra: include ghp-import and git push in generate-preview script
rust-lang · Jul 31, 2024 · 506a35a · 506a35a
2 parents d303172 + df78a37
commit 506a35a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/generate-preview.sh b/tools/generate-preview.sh
@@ -2,3 +2,5 @@
 
 mdbook build
 cp ./tools/preview-robots.txt ./book/robots.txt
+ghp-import -m "rebuild GitHub Pages from generated-book" book
+git push origin gh-pages