GitLab

To ensure we get clean version information, update the mtime of
`.git/HEAD` before running the release pipeline.  Otherwise tags would
just end up re-using the version information from the untagged commit.