advertise Miri a bit more

[web.git] / personal / upload.sh

diff --git a/personal/upload.sh b/personal/upload.sh
index 88e6126cd52950b0a36485b0bf3f2fa5721393e4..aac35c48ad2a1d20138516a14a270b297596d370 100755 (executable)
--- a/personal/upload.sh
+++ b/personal/upload.sh
@@ -3,6 +3,9 @@ cd "$(dirname "$0")"
 
 jekyll build
 cd _site
 
 jekyll build
 cd _site

-rsync ./ ralfj.de:srv/www.ralfj.de/docroot/ -aP \
-  --exclude=cs/research.html
-scp cs/research.html mpi-contact:public_html/index.html
+
+git add .
+git diff --cached
+git commit -m "site upload"
+
+rsync ./ www.ralfj.de:/srv/www.ralfj.de/docroot/ -aP --exclude .git