mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-26 01:22:04 +00:00
Assign PRs to an original merged_by too
This commit is contained in:
parent
187b10dec5
commit
1da02adc8d
@ -242,7 +242,7 @@ Merge it only if you intend to backport changes to the target branch, otherwise
|
|||||||
def _assign_new_pr(self, new_pr: PullRequest):
|
def _assign_new_pr(self, new_pr: PullRequest):
|
||||||
# It looks there some race when multiple .add_to_assignees are executed,
|
# It looks there some race when multiple .add_to_assignees are executed,
|
||||||
# so we'll add all at once
|
# so we'll add all at once
|
||||||
assignees = [self.pr.user]
|
assignees = [self.pr.user, self.pr.merged_by]
|
||||||
if self.pr.assignees:
|
if self.pr.assignees:
|
||||||
assignees.extend(self.pr.assignees)
|
assignees.extend(self.pr.assignees)
|
||||||
logging.info(
|
logging.info(
|
||||||
|
Loading…
Reference in New Issue
Block a user