fix dev push

diff --git a/tools/dev/push.sh b/tools/dev/push.sh
index 1eaecc17887061a76d25c113be1df4eb45f701ef..20e83a8cb33507bfdba8b1569605767464de7f34 100755 (executable)
--- a/tools/dev/push.sh
+++ b/tools/dev/push.sh
@@ -21,8 +21,8 @@ ssh vcs.parisson.com "cd /var/git/telemeta.git; git update-server-info"
 
 #echo "Update jimi.parisson.com:"
 echo "Update angus.parisson.com:"
-ssh angus.parisson.com "cd /home/telemeta/telemeta-prod; git pull origin production; \
-                        cd /home/telemeta/telemeta; git pull origin master; \
+ssh angus.parisson.com "cd /home/telemeta/telemeta-master; git pull origin master; \
+                        cd /home/telemeta/telemeta-dev; git pull origin dev; \
                         cd /home/telemeta/demo/; ./manage.py migrate telemeta --delete-ghost-migrations;
                         cd /home/telemeta/sandbox/; ./manage.py migrate telemeta --delete-ghost-migrations; 
                         cd /home/telemeta/parisson/; ./manage.py migrate telemeta --delete-ghost-migrations; "