diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-01-08 07:25:19 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-01-08 07:25:19 +0300 |
commit | bfc7ef355423990c40a3ace65faf92db832a848e (patch) | |
tree | 1d3ab8e0e6cdce39de5f867cc0dc5d9d2532508d /.github/workflows | |
parent | 37449fbeb5ef474552c2a482631ecdba933cea00 (diff) | |
parent | a3795bf0e6abdd9094cf95de053d1d5b29f55d21 (diff) |
Merge branch 'js/drop-mingw-test-cmp'
Use `git diff --no-index` as a test_cmp on Windows.
We'd probably need to revisit "do we really want to, and have to,
lose CRLF vs LF?" later, at which time we may be able to further
clean this up by replacing "git diff --no-index" with "diff -u".
* js/drop-mingw-test-cmp:
tests(mingw): avoid very slow `mingw_test_cmp`
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions