mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-10-05 17:01:06 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix double pushing on remote

Browse source
This commit is contained in:
thez3ro 2017-05-17 23:08:25 +02:00
parent 87066bc1d5
commit ec30d73f13
No known key found for this signature in database
GPG key ID: F628F9E41DD7C073
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
fdroidserver/server.py
View file

@ -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: