git

Migration to github

• git remote -v
• git remote set-url origin git@github.com:<user>/<repo>.git
• git push --all