Disable devel branch creation and reenable factory push

This commit is contained in:
Dirk Müller
2025-09-22 16:24:38 +02:00
parent b02bbf5ab2
commit 14d58a65ca

View File

@@ -180,12 +180,12 @@ class GitExporter:
added_commits = True added_commits = True
# make sure that we create devel branch # make sure that we create devel branch
if not branch_state["devel"]: # if not branch_state["devel"]:
logging.debug("force creating devel") # logging.debug("force creating devel")
self.git.set_branch_head("devel", self.git.branch_head("factory")) # self.git.set_branch_head("devel", self.git.branch_head("factory"))
#if added_commits: if added_commits:
# self.git.push(force=True) self.git.push(force=True)
def run_gc(self): def run_gc(self):
self.gc_cnt = self.gc_interval self.gc_cnt = self.gc_interval