add Miri update blog post

[web.git] / research / upload.sh

diff --git a/research/upload.sh b/research/upload.sh
index 6832be43c8699654210aaa60026e2da4cac1a5dd..0cad19594a521dd0ac85a740b60678462e4e2932 100755 (executable)
--- a/research/upload.sh
+++ b/research/upload.sh
@@ -5,9 +5,7 @@ jekyll build
 cd _site
 
 git add .
 cd _site
 
 git add .

-if ! git diff --cached; then
-    # There are changes
-    git commit -m "site upload"
-fi
+git diff --cached
+git commit -m "site upload"

 
 

-rsync ./ mpi-contact:public_html/ -aP --exclude .git
+rsync ./ ralfj.de:/srv/www.ralfj.de/docroot/research/ -aP --exclude .git