]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: babf0b8) | patch
contrib/coverage-diff: avoid redundant pipelines
authorBeat Bolli <bb@drbeat.li>
Fri, 15 Mar 2024 19:46:18 +0000 (20:46 +0100)
committerJunio C Hamano <gitster@pobox.com>
Sat, 16 Mar 2024 18:08:57 +0000 (11:08 -0700)
commitf70bc702e52796933cafa30dde54fe3c07aa2e81
treefc15e2dd50e9d9c0ec23877227711ddab6db46d7tree | snapshot
parentbabf0b89b383116c9b7aee5a2c3dee3ae1237d65commit | 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>
contrib/coverage-diff.sh diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.