Finalise repository before release
Things to do for the "release":
- Delete all branches (apart from main..)
- Tag the repo at our preferred commit -- what would that be?
v1.0
? or should we align withggi
with av1.1
? - Create a GitLab release and attach it to the tag