projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add Miri update blog post
[web.git]
/
research
/
upload.sh
diff --git
a/research/upload.sh
b/research/upload.sh
index f0268be2af25c0261ef733555fc96e12eeee0ea6..0cad19594a521dd0ac85a740b60678462e4e2932 100755
(executable)
--- a/
research/upload.sh
+++ b/
research/upload.sh
@@
-8,4
+8,4
@@
git add .
git diff --cached
git commit -m "site upload"
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