[PR #871] [CLOSED] (feat): case insensitive search on the grep tool #9736

Closed
opened 2026-02-16 18:14:04 -05:00 by yindo · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/anomalyco/opencode/pull/871
Author: @rclark72
Created: 7/11/2025
Status: Closed

Base: devHead: rclark/grep-case-insensitive


📝 Commits (1)

  • d88f131 Added case insensitive search to grep tool

📊 Changes

2 files changed (+7 additions, -1 deletions)

View changed files

📝 packages/opencode/src/tool/grep.ts (+6 -1)
📝 packages/opencode/src/tool/grep.txt (+1 -0)

📄 Description

No description provided


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/anomalyco/opencode/pull/871 **Author:** [@rclark72](https://github.com/rclark72) **Created:** 7/11/2025 **Status:** ❌ Closed **Base:** `dev` ← **Head:** `rclark/grep-case-insensitive` --- ### 📝 Commits (1) - [`d88f131`](https://github.com/anomalyco/opencode/commit/d88f1312d59749b5d7505a492eaf09d9d161f624) Added case insensitive search to grep tool ### 📊 Changes **2 files changed** (+7 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `packages/opencode/src/tool/grep.ts` (+6 -1) 📝 `packages/opencode/src/tool/grep.txt` (+1 -0) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
yindo added the pull-request label 2026-02-16 18:14:04 -05:00
yindo closed this issue 2026-02-16 18:14:04 -05:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: anomalyco/opencode#9736