Deploy without pushing to central server

This makes testing easier.

diff --git a/Makefile b/Makefile
index 3ab7db5dd966e3bef3a51263f093b095ca9ebdda..fd785e50bb4282995c15477809e6875554205935 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,3 @@
 deploy:
-       git push
-       ssh coffee@rtime.felk.cvut.cz 'cd coffee-flask && git pull && touch wsgi/coffee.wsgi'
+       git push --force coffee@rtime.felk.cvut.cz:coffee-flask HEAD:deploy
+       ssh coffee@rtime.felk.cvut.cz 'cd coffee-flask && git reset --hard deploy && touch wsgi/coffee.wsgi'