diff options
| author | Patrick Steinhardt <ps@pks.im> | 2026-03-19 06:33:22 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2026-03-19 06:40:08 -0700 |
| commit | fe309664ea804d17812bab22927756dc35e5e955 (patch) | |
| tree | 30a5c0fa7a0a35ce604a3fc88c85e6800b28a8aa | |
| parent | 8ca1b4472ce97ae1d120608f9f02a86fa33d4187 (diff) | |
| download | git-fe309664ea804d17812bab22927756dc35e5e955.tar.xz | |
contrib: move "coverage-diff.sh" script into "tools/"
The "coverage-diff.sh" script can be used to get information about test
coverage fro the Git codebase. It is thus rather specific to our build
and test infrastructure and part of the developer-facing tooling. The
fact that this script is part of "contrib/" is thus rather misleading
and a historic wart.
Promote the tool into the new "tools/" directory.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | tools/coverage-diff.sh (renamed from contrib/coverage-diff.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/coverage-diff.sh b/tools/coverage-diff.sh index 6ce9603568..6ce9603568 100755 --- a/contrib/coverage-diff.sh +++ b/tools/coverage-diff.sh |