diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 09:35:31 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-30 09:35:31 (GMT) |
commit | dda884a8d6b331701f4c05d0d64fa3212771d01e (patch) | |
tree | 49088f3921356dc5630f79bacee02dfa51d5469c /devbot/git.py | |
parent | 782fb4384c83210c689e446fc9b06b116b386c58 (diff) |
Exit with error if pull fails
Diffstat (limited to 'devbot/git.py')
0 files changed, 0 insertions, 0 deletions