Introduction to GitInitiated by Klaatu, this open series introduces Git and the concepts behind its use in a collaborative environment.
This episode is light on actual commands, and mostly a narrative analysis of what git HEAD is and why it matters to you.
Some commands you can try:
$ cat ~/path/to/git/repo/.git/HEAD
$ ls ~/path/to/git/repo/.git/refs $ cat ~/path/to/git/repo/.git/refs/master
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
Instantiate a git repo:
$ mkdir alice $ cd !$ $ git init
Add a remote:
$ git remote add origin URI_OF_REMOTE
Change a remote:
$ git remote set-url origin NEW_URI
A remote can be a server, it can be a local directory, an NFS share, pretty much whatever you want.
It is a Git convention that the primary remote is called
origin. You don't have to call it that, but it's pretty common.
git add git commit -m "some useful message" git push origin HEAD