hpr2516 :: Intro to git branch
Intro to git branch
Hosted by Klaatu on Monday 2018-03-26 is flagged as Clean and is released under a CC-BY-SA license.
Tags: git, branch, server.
Listen in ogg,
spx, or
mp3 format. | Comments (1)
Part of the series: Introduction to Git
Initiated by Klaatu, this open series introduces Git and the concepts behind its use in a collaborative environment.
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
Show Transcript
Automatically generated using whisper
whisper --model tiny --language en hpr2516.wav