fix double pushing on remote

diff --git a/fdroidserver/server.py b/fdroidserver/server.py
index 8f8d578f8e216b45cc7ed18ccac51a0ea0b616d7..d78f6a8a7c31ff9f5f94c46d1c42e5e3de6ae57d 100644 (file)
--- a/fdroidserver/server.py
+++ b/fdroidserver/server.py
@@ -364,11 +364,6 @@ def update_servergitmirrors(servergitmirrors, repo_section):
             progress = MyProgressPrinter()
         else:
             progress = None
-        # push for every remote. This will overwrite the git history
-        for remote in repo.remotes:
-            logging.debug('Pushing to ' + remote.url)
-            with repo.git.custom_environment(GIT_SSH_COMMAND=ssh_cmd):
-                remote.push('master', force=True, set_upstream=True, progress=progress)
 
         # push for every remote. This will overwrite the git history
         for remote in repo.remotes: