Skip to content
Convert "8.0.0" to a proper git tag.