Changeset d7de29b for tools/dev/push.sh


Ignore:
Timestamp:
May 25, 2012 2:48:39 PM (2 years ago)
Author:
yomguy <yomguy@…>
Branches:
master, crem, crem2, dev, dev2, diadems, feature/breadcrumbs, feature/ts-0.5, feature/ts-0.5.4, feature/writecache, generic, lam, lam2, mapsv3, merge, nlivemulti, release/1.4.4, sabiod, server, storage, telecaster
Children:
305d2e3
Parents:
3901268
git-author:
yomguy <yomguy@…> (25/05/2012 14:48:39)
git-committer:
yomguy <yomguy@…> (25/05/2012 14:48:39)
Message:

fix hub

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/dev/push.sh

    rd68b189 rd7de29b  
    1010    if [[ $branch == *master* ]]; then 
    1111        echo "Push $branch to github:" 
    12         git push github $branch 
     12        git push hub $branch 
    1313    fi 
    1414 
     
    1616 
    1717git push --tags 
    18 git push --tags github 
     18git push --tags hub 
    1919 
    2020ssh vcs.parisson.com "cd /var/git/telemeta.git; git update-server-info" 
Note: See TracChangeset for help on using the changeset viewer.