On the 8th of May from 18:00 to 20:00 we will be performing maintenance on GitLab. During this time the service will be unavailable, apologies for any inconvenience.
Closes #8 (closed)
but probably best not to merge for now