Release pages on GitLab

gitlab

#1

GitLab now embed release pages for repositories.
For instance:

Much better than going to tags!

Cf. https://docs.gitlab.com/ee/workflow/releases.html