infra: include ghp-import and git push in generate-preview script

rust-lang · Jul 31, 2024 · df78a37 · df78a37
1 parent d303172
commit df78a37
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