commit 32c0e3dc335630d197d060a025b13e9008057134 parent ad260c62ed7b37dad84efcbf66a08e794e98a928 Author: Janis Pagel <janis.pagel@ims.uni-stuttgart.de> Date: Fri, 19 Jun 2020 06:56:17 +0200 Update deploy script Diffstat:
M | deploy.sh | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/deploy.sh b/deploy.sh @@ -1,3 +1,4 @@ echo "Deploying..." rsync -r --delete-after _site/* homepage: +git push origin master echo "...Done"