mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-24 08:32:02 +00:00
Remove unnecessary rev-parse
in favor of in_changelog
This commit is contained in:
parent
bad3f2d384
commit
af0ea585fc
@ -100,17 +100,14 @@ def get_descriptions(prs: PullRequests) -> Dict[str, List[Description]]:
|
||||
# obj._rawData doesn't spend additional API requests
|
||||
# We'll save some requests
|
||||
# pylint: disable=protected-access
|
||||
repo_name = pr._rawData["base"]["repo"]["full_name"] # type: ignore
|
||||
repo_name = pr._rawData["base"]["repo"]["full_name"]
|
||||
# pylint: enable=protected-access
|
||||
if repo_name not in repos:
|
||||
repos[repo_name] = pr.base.repo
|
||||
in_changelog = False
|
||||
merge_commit = pr.merge_commit_sha
|
||||
try:
|
||||
runner.run(f"git rev-parse '{merge_commit}'")
|
||||
except CalledProcessError:
|
||||
# It's possible that commit not in the repo, just continue
|
||||
logging.info("PR %s does not belong to the repo", pr.number)
|
||||
if merge_commit is None:
|
||||
logging.warning("PR %s does not have merge-commit, skipping", pr.number)
|
||||
continue
|
||||
|
||||
in_changelog = merge_commit in SHA_IN_CHANGELOG
|
||||
|
Loading…
Reference in New Issue
Block a user