From d7de29ba9caf6e4e857825fb660ee82cc82299e7 Mon Sep 17 00:00:00 2001 From: yomguy Date: Fri, 25 May 2012 14:48:39 +0200 Subject: [PATCH] fix hub --- tools/dev/push.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/dev/push.sh b/tools/dev/push.sh index 1aa43872..c6bab55a 100755 --- 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" -- 2.39.5