added exit if git pull fails
authorNico Cesar <nico@curoverse.com>
Tue, 21 Jul 2015 14:10:24 +0000 (10:10 -0400)
committerNico Cesar <nico@curoverse.com>
Tue, 21 Jul 2015 14:10:24 +0000 (10:10 -0400)
commita5c1b7e9798565f07e231c43b3453fe7b69c7368
tree5a5742e6f70c6d5620e36d104f06efd77db7b60e
parentd30c7f8b3210ae1e825033e852c369d16b7e48f1
added exit if git pull fails

no issue #
jenkins/run-deploy.sh