advertise Miri a bit more

[web.git] / research / upload.sh

diff --git a/research/upload.sh b/research/upload.sh
index 3a528b5145d7db7928cc9d730d8afe3e0587cd4d..f0268be2af25c0261ef733555fc96e12eeee0ea6 100755 (executable)
--- a/research/upload.sh
+++ b/research/upload.sh
@@ -3,4 +3,9 @@ cd "$(dirname "$0")"
 
 jekyll build
 cd _site
-rsync ./ mpi-contact:public_html/ -aP
+
+git add .
+git diff --cached
+git commit -m "site upload"
+
+rsync ./ mpi-contact:public_html/ -aP --exclude .git