Convert "9.0.1" to a proper git tag.