whole_func_string: 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
  }
func_code_string: 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
  }
func_documentation_string: Currently, we regard it as "release finished" that the pushed branch name differs from current one.