From 14d58a65ca87b31cfcf0fb2c08de7cf1fa6da8a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dirk=20M=C3=BCller?= Date: Mon, 22 Sep 2025 16:24:38 +0200 Subject: [PATCH] Disable devel branch creation and reenable factory push --- lib/git_exporter.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/git_exporter.py b/lib/git_exporter.py index d8ff581..0be1ea8 100644 --- a/lib/git_exporter.py +++ b/lib/git_exporter.py @@ -180,12 +180,12 @@ class GitExporter: added_commits = True # 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")) + # if not branch_state["devel"]: + # logging.debug("force creating devel") + # self.git.set_branch_head("devel", self.git.branch_head("factory")) - #if added_commits: - # self.git.push(force=True) + if added_commits: + self.git.push(force=True) def run_gc(self): self.gc_cnt = self.gc_interval