Also build release pipeline for tags
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.
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.