Currently, we regard it as "release finished" that the pushed branch name differs from current one.
function isReleaseFinished(): boolean {
    const currentBranch = exec('git rev-parse --abbrev-ref HEAD', {silent: true}).stdout.trim()
    return process.env.CIRCLECI && process.env.CIRCLE_BRANCH != currentBranch
}