diff options
author | Erich Eckner <git@eckner.net> | 2018-06-18 08:27:05 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-18 08:27:05 +0200 |
commit | ed6904a5c0732424f34c5b3ba42eb6974ca62f26 (patch) | |
tree | bbe0725145de028f288fa0d9731f72ae6ccf80c4 /bin/build-master-status | |
parent | eb25860126fd5e88f05232b522afc8a964a55646 (diff) | |
download | builder-ed6904a5c0732424f34c5b3ba42eb6974ca62f26.tar.xz |
make "git remote update" failure non-fatal - if it is actually required, we will fail later anyways
Diffstat (limited to 'bin/build-master-status')
0 files changed, 0 insertions, 0 deletions