Convert "8.0.1" to a proper git tag.