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

2024-06-12 16:34:29 +02:00 · 2024-06-12 16:34:29 +02:00 · 7b9b033adc
commit 7b9b033adc
parent c44cb17e5d
1 changed files with 5 additions and 0 deletions
--- a/lib/git_exporter.py
+++ b/lib/git_exporter.py
@ -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):