Go offline with the Player FM app!
HPR2516: Intro to git branch
Manage episode 432280138 series 108988
These are all the commands covered in this episode. This is not a sequence, it's just all the commands in the episode, listed one after another.
Get changes from the remote repo:
$ git fetch
See all branches:
$ git branch --all
View a remote branch after you have fetched it:
$ git checkout origin/dev
Create a copy of a fetched remote branch in your local repo:
$ git checkout dev
Merge changes from remote origin/master into your local master branch:
$ git merge master origin/master
Fetch and merge automatically:
$ git pull
Create a new branch, and change to it:
$ git checkout -b dev
Merge dev into master:
$ git checkout master $ git merge master dev
Merge master into dev
$ git checkout dev $ git merge dev master
Delete the dev branch:
$ git branch -d dev
4210 episodes
Manage episode 432280138 series 108988
These are all the commands covered in this episode. This is not a sequence, it's just all the commands in the episode, listed one after another.
Get changes from the remote repo:
$ git fetch
See all branches:
$ git branch --all
View a remote branch after you have fetched it:
$ git checkout origin/dev
Create a copy of a fetched remote branch in your local repo:
$ git checkout dev
Merge changes from remote origin/master into your local master branch:
$ git merge master origin/master
Fetch and merge automatically:
$ git pull
Create a new branch, and change to it:
$ git checkout -b dev
Merge dev into master:
$ git checkout master $ git merge master dev
Merge master into dev
$ git checkout dev $ git merge dev master
Delete the dev branch:
$ git branch -d dev
4210 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.