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

Show debug messages to give clue why pushing git mirror failed

Browse source
This commit is contained in:
Torsten Grote 2020-04-10 13:34:46 -03:00
parent 3113b890b5
commit 7d69f04b94
No known key found for this signature in database
GPG key ID: 3E5F77D92CF891FF
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: