mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-22 07:31:57 +00:00
Update pr_info.py
This commit is contained in:
parent
5430f1a413
commit
8d6bea91e8
@ -71,7 +71,7 @@ class PRInfo:
|
||||
self.user_orgs = set(org['id'] for org in response_json)
|
||||
|
||||
self.diff_url = github_event['pull_request']['diff_url']
|
||||
elif 'commits' in github_event: # push (commit) event
|
||||
elif 'commits' in github_event:
|
||||
self.sha = github_event['after']
|
||||
pull_request = get_pr_for_commit(self.sha, github_event['ref'])
|
||||
repo_prefix = f"{GITHUB_SERVER_URL}/{GITHUB_REPOSITORY}"
|
||||
|
Loading…
Reference in New Issue
Block a user