GIT

A GIT repository is a data management system for your files. It is useful for version control.

1. First of all, in the directory you wish to make the repository, type 'git init'
2. To add a file to the repository, type 'git add filename'
3. To commit changes to the repository, type 'git commit filename'. This will bring up a text file where it is possible to record details of the changes.
4. To retrieve a file from the repository, type 'git checkout filename'

Group git server

1. Accessible at ch-thom@git.csx.cam.ac.uk
2. see https://git.csx.cam.ac.uk/users.htm
3. To create your own user repository (assuming your crsid is abc123)

$ ssh ch-thom@git.csx.cam.ac.uk create u/abc123/testing

$ git clone ch-thom@git.csx.cam.ac.uk:u/abc123/testing

$ ssh ch-thom@git.csx.cam.ac.uk