Skip to content

Find files tool#881

Merged
bagel897 merged 4 commits intodevelopfrom
eagarwal-cg-12221-searchfilesbyfilename-tool
Mar 17, 2025
Merged

Find files tool#881
bagel897 merged 4 commits intodevelopfrom
eagarwal-cg-12221-searchfilesbyfilename-tool

Conversation

@bagel897
Copy link
Contributor

No description provided.

@bagel897 bagel897 marked this pull request as ready for review March 17, 2025 19:31
@bagel897 bagel897 requested review from a team and codegen-team as code owners March 17, 2025 19:31
Copy link
Contributor

@jemeza-codegen jemeza-codegen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Another option is to add file search functionality to the existing search tool. It's possible to search within file names with ripgrep.

@bagel897 bagel897 enabled auto-merge (squash) March 17, 2025 19:59
@bagel897 bagel897 merged commit a9a2791 into develop Mar 17, 2025
17 of 18 checks passed
@bagel897 bagel897 deleted the eagarwal-cg-12221-searchfilesbyfilename-tool branch March 17, 2025 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants