RepoDemo/git-repo
1
0
Fork 0
mirror of https://github.com/Dev-Wiki/git-repo.git synced 2025-02-24 07:37:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

Exit 1 if repo download -c fails

Browse Source 
Change-Id: I6985548bf87032b121eeccf858c4eeca1a60598c
This commit is contained in:
Scott Anderson 2014-10-17 15:37:12 -04:00
parent 5cf16607d3
commit 0936aeab2c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
subcmds/download.py
View File

@ -93,6 +93,7 @@ makes it available in your project's local working directory.
except GitError: except GitError:
print('[%s] Could not complete the cherry-pick of %s' \ print('[%s] Could not complete the cherry-pick of %s' \
% (project.name, dl.commit), file=sys.stderr) % (project.name, dl.commit), file=sys.stderr)
sys.exit(1)
elif opt.revert: elif opt.revert:
project._Revert(dl.commit) project._Revert(dl.commit)