Artwork

Content provided by HPR Volunteer and Hacker Public Radio. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HPR Volunteer and Hacker Public Radio or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

HPR2516: Intro to git branch

 
Share
 

Manage episode 432280138 series 108988
Content provided by HPR Volunteer and Hacker Public Radio. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HPR Volunteer and Hacker Public Radio or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

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 
  continue reading

4210 episodes

Artwork

HPR2516: Intro to git branch

Hacker Public Radio

23 subscribers

published

iconShare
 
Manage episode 432280138 series 108988
Content provided by HPR Volunteer and Hacker Public Radio. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HPR Volunteer and Hacker Public Radio or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

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 
  continue reading

4210 episodes

All episodes

×
 
Loading …

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.

 

Quick Reference Guide