enable robust push

This commit is contained in:
Dirk Müller 2024-05-17 21:47:35 +02:00
parent 4e07d8272e
commit 5f228dc046
No known key found for this signature in database

View File

@ -48,6 +48,7 @@ class Git:
def open(self): def open(self):
if not self.exists(): if not self.exists():
self.git_run(["init", "--object-format=sha256", "-b", "factory"]) self.git_run(["init", "--object-format=sha256", "-b", "factory"])
self.git_run(["config", "lfs.allowincompletepush", "true"])
def is_dirty(self): def is_dirty(self):
"""Check if there is something to commit""" """Check if there is something to commit"""
@ -271,13 +272,11 @@ class Git:
["remote"], ["remote"],
stdout=subprocess.PIPE, stdout=subprocess.PIPE,
).stdout.decode("utf-8"): ).stdout.decode("utf-8"):
logger.warning("Not pushing to remote because no 'origin' configured") logging.warning("Not pushing to remote because no 'origin' configured")
return return
cmd = ["push"] cmd = ["push"]
if force: if force:
cmd.append("-f") cmd.append("-f")
cmd.append("origin") cmd += ["origin", "--all"]
cmd.append("refs/heads/factory")
cmd.append("refs/heads/devel")
self.git_run(cmd) self.git_run(cmd)