diff options
| -rw-r--r-- | subcmds/sync.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index b80d97b8..9a8ca8f7 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -498,7 +498,7 @@ later is required to fix a server side protocol bug. | |||
| 498 | print('error: Cannot fetch %s from %s' | 498 | print('error: Cannot fetch %s from %s' |
| 499 | % (project.name, project.remote.url), | 499 | % (project.name, project.remote.url), |
| 500 | file=sys.stderr) | 500 | file=sys.stderr) |
| 501 | except KeyboardInterrupt as e: | 501 | except KeyboardInterrupt: |
| 502 | print(f'Keyboard interrupt while processing {project.name}') | 502 | print(f'Keyboard interrupt while processing {project.name}') |
| 503 | except GitError as e: | 503 | except GitError as e: |
| 504 | print('error.GitError: Cannot fetch %s' % str(e), file=sys.stderr) | 504 | print('error.GitError: Cannot fetch %s' % str(e), file=sys.stderr) |