Migrating a repo to GitHub

migrate_to_github.sh

cd path/to/git/repo

git remote add github [email protected]:${user_or_org}/${repo}.git
git remote rename origin old

for b in `git branch -r --no-color | cut -b3- | grep --color=none '^old/' | grep -v '/HEAD ' | cut -d '/' -f2`
do
    git push github old/$b:refs/heads/$b
done

git push --tags github

git remote rename github origin

update_branch_tracking.sh

git remote rename origin old
git remote add github [email protected]:${user_or_org}/${repo}.git

for b in `git branch | cut -b3-`
do
    git branch --set-upstream $b github/$b
done

git remote rename github origin