SHELL

how to pull branch from github

git pull origin branch-name
git switch branch-name

how a to pull a branch in git

$ git pull origin other-branch

pull branch from github

#pull changes from remote to local copy of same/current branch:
git pull

#create a new local branch
git checkout -b new-branch

#switch to an existing local branch
git checkout other-branch

#--track: remote branch speified is the basis for the newly-created local branch
git checkout -b new-branch --track origin/develop 

#restoring an old revision of a file:
git checkout <revisionID> <file>

#HEAD as the revision -> undo local changes to a file:
git checkout HEAD <file>