Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: rename search => ripgrep #916

Merged
merged 2 commits into from
Mar 19, 2025
Merged

fix: rename search => ripgrep #916

merged 2 commits into from
Mar 19, 2025

Conversation

jayhack
Copy link
Contributor

@jayhack jayhack commented Mar 19, 2025

Motivation

Content

Testing

Please check the following before marking your PR as ready for review

  • I have added tests for my changes
  • I have updated the documentation or added new documentation as needed

@jayhack jayhack requested review from codegen-team and a team as code owners March 19, 2025 23:01
@jayhack jayhack merged commit 903052b into develop Mar 19, 2025
17 of 18 checks passed
@jayhack jayhack deleted the jay/search-to-ripgrep branch March 19, 2025 23:32
Copy link
Contributor

🎉 This PR is included in version 0.52.12 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants