Push to the remote when the repo changed

2022-11-08 09:22:32 +01:00
parent 86490b51dd
commit 9f6c8f62e7
2 changed files with 13 additions and 0 deletions
--- a/lib/git_exporter.py
+++ b/lib/git_exporter.py
@@ -84,6 +84,8 @@ class GitExporter:
            logging.debug(f"Committing {flat}")
            self.commit_flat(flat, branch_state)

+        self.git.push()
+
    def run_gc(self):
        self.gc_cnt = self.gc_interval
        self.git.gc()