Fixing unauthenticated commits
Upon merging !48 (merged) I completely forgot that I had to do it locally and not on GitLab to authenticate the commits.
Sorry about that. I'm going to force push the authenticated commits just now.
On this note, could we come up with a way to prevent this kind of breakage in the future?