IV Notes
Search
K
Comment on page

Git

Useful commands which I had to google
  • To pull and merge master from origin without leaving the current branch: git fetch origin master:master
  • To push a new branch to origin (assuming it's checked out now): git push -u origin HEAD