error("Milestone not set: please rerun the task with `--milestone <milestone>`")
        }
        val version = milestone.get()
        val parts = version.split(".")
        require(parts.size == 3 && parts[2].toIntOrNull()?.let { it != 0 } == true) {
            "Version '$version' is not a patch release. Expected format: x.y.z with z > 0."
        }
        val issues = getFixedIssues()
        require(!issues.isEmpty()) {

import org.gradle.util.GradleVersion
import java.io.File


fun bumpPatchVersion(version: String): String {
    val parts = version.split(".")
    require(parts.size == 3 && parts.all { it.toIntOrNull() != null }) {
        "Version '$version' is not a valid x.y.z version."
    }
    return "${parts[0]}.${parts[1]}.${parts[2].toInt() + 1}"
}