diff options
| author |  Christian Couder <christian.couder@gmail.com> | 2019-06-25 15:40:25 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-06-25 14:05:37 -0700 |
| commit | c59c7c879ef60b2b0d0b050982712c53ec4d0680 (patch) | |
| tree | b67e863a933bb2698327f6e9703f561047519efd /ci/lib.sh | |
| parent | The third batch (diff) | |
| download | tgif-c59c7c879ef60b2b0d0b050982712c53ec4d0680.tar.xz | |
t0410: remove pipes after git commands
Let's not run a git command, especially one with "verify" in its
name, upstream of a pipe, because the pipe will hide the git
command's exit code.
While at it, let's also avoid a useless `cat` command piping
into `sed`.
Helped-by: SZEDER Gábor <szeder.dev@gmail.com>
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/lib.sh')
0 files changed, 0 insertions, 0 deletions