From ec30d73f13ef93c6c36ea24e3ef41304b3d295bd Mon Sep 17 00:00:00 2001 From: thez3ro Date: Wed, 17 May 2017 23:08:25 +0200 Subject: [PATCH] fix double pushing on remote --- fdroidserver/server.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/fdroidserver/server.py b/fdroidserver/server.py index 8f8d578f..d78f6a8a 100644 --- 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: