diff options
author | Alison Winters <alisonatwork@outlook.com> | 2022-11-21 00:26:58 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-11-30 09:58:06 +0900 |
commit | 9bab766fb28fae57a229bd90558ec4453ca71be9 (patch) | |
tree | af32c631760864e42be8372c73867c7d6fb7c6b6 /commit.c | |
parent | 3b08839926fcc7cc48cf4c759737c1a71af430c1 (diff) |
completion: add optional ignore-case when matching refs
If GIT_COMPLETION_IGNORE_CASE is set, --ignore-case will be added to
git for-each-ref calls so that refs can be matched case insensitively,
even when running on case sensitive filesystems.
Signed-off-by: Alison Winters <alisonatwork@outlook.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions