Skip to content
Convert "1.7.0-isn_1" to a proper git tag.