Iordanis Petkakis 7502e77803 fix(picker.git): add ignorecase for git_grep (#1629) ... ## Description Add option for `ignorecase` for `git_grep` <!-- Describe the big picture of your changes to communicate to the maintainers why we should accept this pull request. --> ## Related Issue(s) Fixes #1627 <!-- If this PR fixes any issues, please link to the issue here. - Fixes #<issue_number> --> ## Screenshots <!-- Add screenshots of the changes if applicable. -->		2025-10-21 08:38:26 +02:00
..
snacks	fix(picker.git): add ignorecase for git_grep (#1629)	2025-10-21 08:38:26 +02:00
trouble/sources	Revert "feat: test"	2025-02-14 22:13:38 +01:00