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

Merge branch 'git-push-logging' into 'master'

Browse source 
Show debug messages to give clue why pushing git mirror failed

See merge request fdroid/fdroidserver!731
This commit is contained in:
Hans-Christoph Steiner 2020-04-15 12:56:04 +00:00
commit e85573d0e1
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
fdroidserver/server.py
View file

@ -438,6 +438,10 @@ def update_servergitmirrors(servergitmirrors, repo_section):
| git.remote.PushInfo.REJECTED | git.remote.PushInfo.REJECTED
| git.remote.PushInfo.REMOTE_FAILURE | git.remote.PushInfo.REMOTE_FAILURE
| git.remote.PushInfo.REMOTE_REJECTED): | git.remote.PushInfo.REMOTE_REJECTED):
# Show potentially useful messages from git remote
for line in progress.other_lines:
if line.startswith('remote:'):
logging.debug(line)
raise FDroidException(remote.url + ' push failed: ' + str(pushinfo.flags) raise FDroidException(remote.url + ' push failed: ' + str(pushinfo.flags)
+ ' ' + pushinfo.summary) + ' ' + pushinfo.summary)
else: else: