Convert "7.13.1" to a proper git tag.
Convert "7.14.0" to a proper git tag.
Convert "7.14.1" to a proper git tag.
Convert "7.15.00" to a proper git tag.
Convert "7.16.00" to a proper git tag.
Convert "7.16.02" to a proper git tag.
Convert "7.17.00" to a proper git tag.