A new version of GitLab changed how the release is done, thus adapt the release instructions accordingly.