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