Migrate a git repo

git_migrate.sh

mkdir TEMP_REPO_FOLDERNAME                        # create a new folder
cd TEMP_REPO_FOLDERNAME
git init --bare .git                              # create a bare repo
git remote add origin SOURCE_REMOTE_URL           # add a remote
git fetch origin refs/heads/*:refs/heads/*        # fetch heads
git fetch origin refs/tags/*:refs/tags/*          # fetch tags
git init                                          # reinit work tree
git checkout master                               # checkout a branch
git remote rm origin                              # remove remote repo url
git remote add origin NEW_REMOTE_URL              # new remote url
git push -u origin master                         # now push master
git push --all                                    # now push all other branches
git push --tags                                   # oh, and don't forget your tags