use pull instead of fetch
ci/woodpecker/pr/woodpecker Pipeline failed Details

Otherwise the working directory is not updated and it will lead to
diverging branches
Loïc Dachary 2022-07-02 14:32:25 +02:00
parent ccfa81ce2c
commit 7abc9b3da7
Signed by: dachary
GPG Key ID: 992D23B392F9E4F2
1 changed files with 1 additions and 1 deletions

View File

@ -224,7 +224,7 @@ class Infra:
) )
def _pull(self): def _pull(self):
self.repo.git.fetch(env=self.env) self.repo.git.pull(env=self.env)
# TODO: switch to using Git cmd # TODO: switch to using Git cmd