Due to a shift in policy, from 0900 GMT on Wednesday 14th July 2021, we will be disabling ssh access to the server for external users. External users who wish to continue to access code repositories on the server will need to switch to using https. This can be accomplished in the following way: 1) On the repo on gitlab, use the clone dialogue and select ‘Clone with HTTPS’ to get the address of the repo; 2) From within the checkout of your repo run: $ git remote set-url origin HTTPS_ADDRESS. Here, replace HTTPS_ADDRESS with the address you have just copied from GitLab. Pulls and pushes will now require you to enter a username and password rather than using a ssh key. If you would prefer not to enter a password each time, you might consider caching your login credentials.

Repository Analytics

Programming languages used in this repository

Measured in bytes of code. Excludes generated and vendored code.

Code coverage statistics for master May 06 - Aug 04

Download raw data (.csv)

Commit statistics for 6c82e06a8d19dbb21a275dab80fbdf6f1e96df4c Jun 20 - Feb 18

Excluding merge commits. Limited to 2,000 commits.
  • Total: 188 commits
  • Average per day: 0.8 commits
  • Authors: 1

Commits per day of month

Commits per weekday

Commits per day hour (UTC)