mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-10 09:32:06 +00:00
Merge pull request #65181 from ClickHouse/ci_fix_not_merged_cherry_picks_for_backports
CI: Fix not-merged cherry-picks for backports
This commit is contained in:
commit
9d26f8bbd1
@ -532,9 +532,9 @@ class Backport:
|
||||
for br in branches:
|
||||
br.process(self.dry_run)
|
||||
|
||||
for br in branches:
|
||||
if br.backported:
|
||||
self.mark_pr_backported(pr)
|
||||
if all(br.backported for br in branches):
|
||||
# And check it after the running
|
||||
self.mark_pr_backported(pr)
|
||||
|
||||
def mark_pr_backported(self, pr: PullRequest) -> None:
|
||||
if self.dry_run:
|
||||
|
Loading…
Reference in New Issue
Block a user