mirror/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2026-05-18 05:30:04 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'git_prune' into 'master'

Browse Source 
git prune branches in case of failure

See merge request fdroid/fdroidserver!1026
This commit is contained in:
Jochen Sprickerhof
2021-10-14 12:42:38 +00:00
parent e8b7a648b7 fa3cceb8e8
commit e036f31613
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
fdroidserver/common.py
View File

@@ -1167,6 +1167,9 @@ class vcs_git(vcs):
p = self.git(['fetch', 'origin'], cwd=self.local)
if p.returncode != 0:
raise VCSException(_("Git fetch failed"), p.output)
p = self.git(['remote', 'prune', 'origin'], output=False, cwd=self.local)
if p.returncode != 0:
raise VCSException(_("Git prune failed"), p.output)
p = self.git(['fetch', '--prune', '--tags', '--force', 'origin'], output=False, cwd=self.local)
if p.returncode != 0:
raise VCSException(_("Git fetch failed"), p.output)