diff --git a/fdroidserver/deploy.py b/fdroidserver/deploy.py index ca7bff54..8233cb2c 100644 --- a/fdroidserver/deploy.py +++ b/fdroidserver/deploy.py @@ -443,9 +443,10 @@ def update_servergitmirrors(servergitmirrors, repo_section): | git.remote.PushInfo.REMOTE_FAILURE | 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) + if progress: + for line in progress.other_lines: + if line.startswith('remote:'): + logging.debug(line) raise FDroidException(remote.url + ' push failed: ' + str(pushinfo.flags) + ' ' + pushinfo.summary) else: