diff options
author | Beat Bolli <bb@drbeat.li> | 2024-03-15 20:46:18 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-03-16 11:08:57 -0700 |
commit | f70bc702e52796933cafa30dde54fe3c07aa2e81 (patch) | |
tree | fc15e2dd50e9d9c0ec23877227711ddab6db46d7 /commit.c | |
parent | babf0b89b383116c9b7aee5a2c3dee3ae1237d65 (diff) |
contrib/coverage-diff: avoid redundant pipelines
Merge multiple sed and "grep | awk" invocations, finally use "sort -u"
instead of "sort | uniq".
Signed-off-by: Beat Bolli <dev+git@drbeat.li>
Acked-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions