Flight Log / buster-so/buster #583
feat: implement grep_search tool for BUS-1465 — a Devin (Cognition) bot flight
The Devin bot (Cognition) opened this pull request in buster-so/buster on Jul 21, 2025; merged clean in 31.1 h, merged by @dallinbentley: +5,189 −1,770, 114 files, 1 review.
- Lines
- +5,189 −1,770
- Files
- 114
- Commits
- 14
- Reviews
- 1
- To merge
- 31.1 h
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
Devin took on BUS-1465 in buster-so/buster: a new grep_search tool in packages/ai/src/tools/file-tools that lets agents run grep-style searches over files and directories. The change ran to 5189 additions and 1770 deletions across 114 files in fourteen commits. It drew one review round with no change requests and no review comments. The PR merged clean after 31.1 hours.
From the pull request description
# feat: implement grep_search tool for BUS-1465 ## Summary This PR implements a new `grep_search` tool in `packages/ai/src/tools/file-tools` that allows AI agents to perform grep-like searches on files and directories. The tool supports various grep options (recursive, case-insensitive, line numbe…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDevin AI
- —reviewed
- —committedDevin AI
- —committedDevin AI
- —committeddal
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committeddal
- —committeddal
- Jul 22, 2025mergeddallinbentley
- Jul 22, 2025closeddallinbentley
Read next
Cite this flight: AgentRiders Flight Log, buster-so/buster#583, record updated Nov 4, 2026, https://agentriders.com/logs/buster-so/buster/583/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.