Convert "8.1.2" to a proper git tag.