GitLab Version Control System

A version control system such as Git might be of use to you for maintaining, sharing or collaborating on program code, LaTeX, text files, etc.

The department has a self-service GitLab server where you can easily create your own repositories. There is a limit of 1 GB per user for the GitLab service.

It is possible to allow external collaborators using the Git version control system to access your repository. If you would like an external collaborator to have access to your repository, please contact @email.

Cloning a Repository

We recommend using SSH to clone/push/pull repositories:

  • Create an SSH key on your local machine
  • Find your public key - e.g. run cat .ssh/id_*.pub - and copy it to the clipboard
  • Add it to GitLab
    • Go to Edit profile > SSH keys
    • Click "Add new key"
    • Paste your public key into the "Key" field
    • The "Title" will be filled in automatically, but you can edit it if needed
    • Optionally change/remove the default Expiration date, if needed
    • Click "Add key"
  • Use the "Clone with SSH" URL to clone the repository - e.g.
    git clone git@git.maths.ox.ac.uk:USERNAME/REPONAME.git

Cloning with HTTPS using your Maths account password is deprecated and will be disabled soon.

Last updated on 3 Jun 2025, 2:52pm. Please contact us with feedback and comments about this page.