miri on rustup
[web.git] / research / upload.sh
1 #/bin/bash
2 cd "$(dirname "$0")"
3
4 jekyll build
5 cd _site
6
7 git add .
8 git diff --cached
9 git commit -m "site upload"
10
11 rsync ./ mpi-contact:public_html/ -aP --exclude .git