mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-22 15:42:02 +00:00
Fix prefetch release branch
This commit is contained in:
parent
16c8e93dd0
commit
3d0e4c56e2
@ -165,7 +165,10 @@ class Release:
|
||||
)
|
||||
|
||||
# Prefetch the branch to have it updated
|
||||
self.run(f"git fetch {self.repo.url} {branch}:{branch}")
|
||||
if self._git.branch == branch:
|
||||
self.run("git pull")
|
||||
else:
|
||||
self.run(f"git fetch {self.repo.url} {branch}:{branch}")
|
||||
output = self.run(f"git branch --contains={self.release_commit} {branch}")
|
||||
if branch not in output:
|
||||
raise Exception(
|
||||
|
Loading…
Reference in New Issue
Block a user