diff options
| -rw-r--r-- | subcmds/download.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subcmds/download.py b/subcmds/download.py index 098d8b43..a029462e 100644 --- a/subcmds/download.py +++ b/subcmds/download.py | |||
| @@ -93,6 +93,7 @@ makes it available in your project's local working directory. | |||
| 93 | except GitError: | 93 | except GitError: |
| 94 | print('[%s] Could not complete the cherry-pick of %s' \ | 94 | print('[%s] Could not complete the cherry-pick of %s' \ |
| 95 | % (project.name, dl.commit), file=sys.stderr) | 95 | % (project.name, dl.commit), file=sys.stderr) |
| 96 | sys.exit(1) | ||
| 96 | 97 | ||
| 97 | elif opt.revert: | 98 | elif opt.revert: |
| 98 | project._Revert(dl.commit) | 99 | project._Revert(dl.commit) |
