Make sure we create devel branch, when no diff to Factory

This commit is contained in:
Adam Majer 2024-06-12 16:34:29 +02:00 committed by Dirk Müller
parent 40ad64ddff
commit 2d04136ca5
No known key found for this signature in database

View File

@ -86,6 +86,11 @@ class GitExporter:
logging.debug(f"Committing {flat}")
self.commit_flat(flat, branch_state)
# make sure that we create devel branch
if not branch_state["devel"]:
logging.debug("force creating devel")
self.git.set_branch_head("devel", self.git.branch_head("factory"))
self.git.push(force=True)
def run_gc(self):