diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-12 10:00:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-12 10:00:58 +0200 |
| commit | 8129f03985c196f7413a648bee59fe4ee549a2f6 (patch) | |
| tree | 25cdabf7959b791574d93f7bc806a360c82fc3b0 | |
| parent | 1ccec398b9176d6908ba6a4df50a604b6b922005 (diff) | |
| download | builder-8129f03985c196f7413a648bee59fe4ee549a2f6.tar.xz | |
lib/load-configuration: hide output of "git pull" if successful
| -rwxr-xr-x | lib/load-configuration | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 9df76eb..07ef270 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -150,6 +150,6 @@ fi # check out newest revision if git -C "${base_dir}" status >/dev/null 2>&1; then - git -C "${base_dir}" pull --ff-only || \ + chronic git -C "${base_dir}" pull --ff-only || \ true fi |