mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-26 09:32:01 +00:00
Merge pull request #31765 from ClickHouse/fix_diff_for_backports
Fix diff for backports.
This commit is contained in:
commit
81942b8128
@ -100,8 +100,12 @@ class PRInfo:
|
|||||||
self.changed_files = [f['filename'] for f in diff['files']]
|
self.changed_files = [f['filename'] for f in diff['files']]
|
||||||
else:
|
else:
|
||||||
self.changed_files = set([])
|
self.changed_files = set([])
|
||||||
|
else:
|
||||||
|
if 'pr-backport' in self.labels:
|
||||||
|
diff_url = f"https://github.com/{os.getenv('GITHUB_REPOSITORY')}/compare/master...{self.head_ref}.diff"
|
||||||
else:
|
else:
|
||||||
diff_url = pull_request['diff_url']
|
diff_url = pull_request['diff_url']
|
||||||
|
|
||||||
diff = urllib.request.urlopen(diff_url)
|
diff = urllib.request.urlopen(diff_url)
|
||||||
diff_object = PatchSet(diff, diff.headers.get_charsets()[0])
|
diff_object = PatchSet(diff, diff.headers.get_charsets()[0])
|
||||||
self.changed_files = { f.path for f in diff_object }
|
self.changed_files = { f.path for f in diff_object }
|
||||||
|
Loading…
Reference in New Issue
Block a user