From: thez3ro Date: Wed, 17 May 2017 21:08:25 +0000 (+0200) Subject: fix double pushing on remote X-Git-Tag: 0.8~62^2 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=ec30d73f13ef93c6c36ea24e3ef41304b3d295bd;p=fdroidserver.git fix double pushing on remote --- 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: