comment tirer la branche de github
git pull origin branch-name
git switch branch-name
ExplosiveDiarrheaPig
git pull origin branch-name
git switch branch-name#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>