Convert "0.10" to a proper git tag.