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

checkupdates: remove duplicate push in push_commits()

Browse source
This commit is contained in:
Hans-Christoph Steiner 2024-10-30 23:50:06 +01:00
parent 17c480d299
commit 20ff302e89
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
fdroidserver/checkupdates.py
View file

@ -739,9 +739,6 @@ def push_commits(remote_name='origin', branch_name='checkupdates', verbose=False
git_repo.create_head(branch_name, force=True)
remote = git_repo.remotes[remote_name]
pushinfos = remote.push(
branch_name, force=True, set_upstream=True, progress=progress
)
pushinfos = remote.push(
branch_name,
progress=progress,