remove prod from push

diff --git a/tools/dev/push.sh b/tools/dev/push.sh
index 52152ea3210ded3cd839b5d4f8790807a3310ead..c94c8c4f58680f93210cec6dfc87a9bf23f20ee1 100755 (executable)
--- a/tools/dev/push.sh
+++ b/tools/dev/push.sh
@@ -14,8 +14,7 @@ git push --tags
 ssh vcs.parisson.com "cd /var/git/teleforma.git; git update-server-info"
 
 echo "Update sandbox @ angus.parisson.com:"
-ssh angus.parisson.com "cd /home/teleforma/teleforma; git pull; \
-                        cd /home/teleforma/teleforma-dev; git pull origin dev; \
+ssh angus.parisson.com "cd /home/teleforma/teleforma-dev; git pull origin dev; \
                         cd /home/teleforma/sandbox/; ./manage.py migrate --delete-ghost-migrations; \
                         ./manage.py collectstatic "