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'

Tutorial

There are many tutorials available. Here's one that looked interesting

https://www.atlassian.com/git/tutorials/

Group git server

1. Accessible at ch-thom@git.csx.cam.ac.uk
2. see https://git.csx.cam.ac.uk/users.html
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

This command allows you to list permissions:

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

This command allows you to change permissions:

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