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

Merge branch 'cdn-git-mirror' into 'master'

Browse source 
Fix double pushing on remote git-mirror

See merge request !272
This commit is contained in:
Torsten Grote 2017-05-17 22:47:56 +00:00
commit ee57285817
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: