fix hub

diff --git a/tools/dev/push.sh b/tools/dev/push.sh
index 1aa4387256a3809a1b9a9d338713d2373a32adc2..c6bab55ad76fbbfdcba18a381a4644cd6d1d6f3f 100755 (executable)
--- a/tools/dev/push.sh
+++ b/tools/dev/push.sh
@@ -9,13 +9,13 @@ do
 
     if [[ $branch == *master* ]]; then
         echo "Push $branch to github:"
-        git push github $branch
+        git push hub $branch
     fi
 
 done
 
 git push --tags
-git push --tags github
+git push --tags hub
 
 ssh vcs.parisson.com "cd /var/git/telemeta.git; git update-server-info"