mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-26 17:41:59 +00:00
CI: Fix not-merged cherry-picks for backports
This commit is contained in:
parent
af6afd9043
commit
49977e89e0
@ -532,9 +532,9 @@ class Backport:
|
|||||||
for br in branches:
|
for br in branches:
|
||||||
br.process(self.dry_run)
|
br.process(self.dry_run)
|
||||||
|
|
||||||
for br in branches:
|
if all(br.backported for br in branches):
|
||||||
if br.backported:
|
# And check it after the running
|
||||||
self.mark_pr_backported(pr)
|
self.mark_pr_backported(pr)
|
||||||
|
|
||||||
def mark_pr_backported(self, pr: PullRequest) -> None:
|
def mark_pr_backported(self, pr: PullRequest) -> None:
|
||||||
if self.dry_run:
|
if self.dry_run:
|
||||||
|
Loading…
Reference in New Issue
Block a user