Changeset d7de29b

Timestamp:

05/25/12 14:48:39 (12 months ago)

Author:

yomguy <yomguy@…>

Branches:

master, crem, crem2, dev, diadems, generic, lam, nlivemulti, release/1.4.4, storage

Children:

305d2e3

Parents:

3901268

git-author:

yomguy <yomguy@…> (05/25/12 14:48:39)

git-committer:

yomguy <yomguy@…> (05/25/12 14:48:39)

Message:

fix hub

File:

• tools/dev/push.sh (modified) (2 diffs)

tools/dev/push.sh

@@ -10 +10 @@
     if [[ $branch == *master* ]]; then
         echo "Push $branch to github:"
-        git push github $branch
+        git push hub $branch
     fi
 
@@ -16 +16 @@
 
 git push --tags
-git push --tags github
+git push --tags hub
 
 ssh vcs.parisson.com "cd /var/git/telemeta.git; git update-server-info"