mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 08:40:50 +00:00
Add necessary 'before' field for a dummy object
This commit is contained in:
parent
d1b14d5ee0
commit
341feb5945
@ -38,7 +38,12 @@ class PRInfo:
|
||||
with open(GITHUB_EVENT_PATH, 'r', encoding='utf-8') as event_file:
|
||||
github_event = json.load(event_file)
|
||||
else:
|
||||
github_event = {'commits': 1, 'after': 'HEAD', 'ref': None}
|
||||
github_event = {
|
||||
'commits': 1,
|
||||
'before': 'HEAD~',
|
||||
'after': 'HEAD',
|
||||
'ref': None,
|
||||
}
|
||||
self.event = github_event
|
||||
self.changed_files = set([])
|
||||
ref = github_event.get("ref", "refs/head/master")
|
||||
@ -93,7 +98,8 @@ class PRInfo:
|
||||
self.task_url = f"{repo_prefix}/actions/runs/{GITHUB_RUN_ID or '0'}"
|
||||
self.commit_html_url = f"{repo_prefix}/commits/{self.sha}"
|
||||
self.repo_full_name = GITHUB_REPOSITORY
|
||||
if pull_request is None or pull_request['state'] == 'closed': # it's merged PR to master
|
||||
if pull_request is None or pull_request['state'] == 'closed':
|
||||
# it's merged PR to master
|
||||
self.number = 0
|
||||
self.labels = {}
|
||||
self.pr_html_url = f"{repo_prefix}/commits/{ref}"
|
||||
|
Loading…
Reference in New Issue
Block a user