Git

Work in progress

This document is a work in progress.

clone git repository with specific revision.

$ git clone $URL
$ cd $PROJECT_NAME
$ git reset --hard $SHA1

To again go back to the most recent commit

$ git pull