mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-19 16:20:50 +00:00
CI: remove unnecessary job url for Mark release ready
This commit is contained in:
parent
2c5c589a88
commit
c9749ae586
@ -5,7 +5,6 @@ import logging
|
||||
import os
|
||||
|
||||
from commit_status_helper import get_commit, post_commit_status
|
||||
from env_helper import GITHUB_JOB_URL
|
||||
from get_robot_token import get_best_robot_token
|
||||
from git_helper import commit as commit_arg
|
||||
from github_helper import GitHub
|
||||
@ -33,7 +32,6 @@ def main():
|
||||
help="if given, used instead of one from PRInfo",
|
||||
)
|
||||
args = parser.parse_args()
|
||||
url = ""
|
||||
description = "the release can be created from the commit, manually set"
|
||||
pr_info = None
|
||||
if not args.commit:
|
||||
@ -41,7 +39,6 @@ def main():
|
||||
if pr_info.event == pr_info.default_event:
|
||||
raise ValueError("neither launched from the CI nor commit is given")
|
||||
args.commit = pr_info.sha
|
||||
url = GITHUB_JOB_URL()
|
||||
description = "the release can be created from the commit"
|
||||
args.token = args.token or get_best_robot_token()
|
||||
|
||||
@ -52,7 +49,7 @@ def main():
|
||||
post_commit_status(
|
||||
commit,
|
||||
SUCCESS,
|
||||
url,
|
||||
"",
|
||||
description,
|
||||
RELEASE_READY_STATUS,
|
||||
pr_info,
|
||||
|
Loading…
Reference in New Issue
Block a user