这是indexloc提供的服务，不要输入任何密码
Skip to content

Revert "feat(third_party) Port get-ripgrep." #8923

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Sep 19, 2025
Merged

Revert "feat(third_party) Port get-ripgrep." #8923

merged 1 commit into from
Sep 19, 2025

Conversation

@joshualitt
Copy link
Collaborator

@joshualitt joshualitt commented Sep 19, 2025

Reverts #8514

Breaks the release.

@joshualitt joshualitt marked this pull request as ready for review September 19, 2025 17:26
@joshualitt joshualitt requested review from a team as code owners September 19, 2025 17:26
@github-actions
Copy link

github-actions bot commented Sep 19, 2025

Size Change: +2.48 kB (+0.01%)

Total Size: 17.3 MB

Filename Size Change
./bundle/gemini.js 17.3 MB +2.48 kB (+0.01%)
ℹ️ View Unchanged
Filename Size
./bundle/sandbox-macos-permissive-closed.sb 1.03 kB
./bundle/sandbox-macos-permissive-open.sb 830 B
./bundle/sandbox-macos-permissive-proxied.sb 1.31 kB
./bundle/sandbox-macos-restrictive-closed.sb 3.29 kB
./bundle/sandbox-macos-restrictive-open.sb 3.36 kB
./bundle/sandbox-macos-restrictive-proxied.sb 3.56 kB

compressed-size-action

@scidomino scidomino mentioned this pull request Sep 19, 2025
Merged
@jacob314 jacob314 self-requested a review September 19, 2025 18:01
@joshualitt joshualitt added this pull request to the merge queue Sep 19, 2025
Merged via the queue into main with commit 7681c59 Sep 19, 2025
28 of 37 checks passed
@joshualitt joshualitt deleted the revert-8514-port-changes branch September 19, 2025 18:12
joshualitt added a commit to joshualitt/gemini-cli that referenced this pull request Sep 19, 2025
@joshualitt
Reapply "feat(third_party) Port get-ripgrep." (google-gemini#8923)
d68a809 
This reverts commit 7681c59.
joshualitt added a commit that referenced this pull request Sep 19, 2025
@joshualitt
Reapply "feat(third_party) Port get-ripgrep." (#8923)
5f17125 
This reverts commit 7681c59.
abhipatel12 pushed a commit that referenced this pull request Sep 19, 2025
@joshualitt @abhipatel12
Revert "feat(third_party) Port get-ripgrep." (#8923)
04a89da
anj-s pushed a commit that referenced this pull request Sep 19, 2025
@joshualitt @anj-s
Revert "feat(third_party) Port get-ripgrep." (#8923)
a66eb62
nagendrareddy10 pushed a commit to nagendrareddy10/gemini-cli that referenced this pull request Sep 22, 2025
@joshualitt @nagendrareddy10
Revert "feat(third_party) Port get-ripgrep." (google-gemini#8923)
b2e9e5c
yashv6655 added a commit to yashv6655/gemini-cli that referenced this pull request Sep 22, 2025
@yashv6655
Revert "feat(third_party) Port get-ripgrep." (google-gemini#8923)
a54231e
thacio added a commit to thacio/auditaria that referenced this pull request Oct 3, 2025
@thacio
Merge Commit '7681c59': Revert "feat(third_party) Port get-ripgrep." (
3b30050 
google-gemini#8923)
giraffe-tree pushed a commit to giraffe-tree/gemini-cli that referenced this pull request Oct 10, 2025
@joshualitt
Revert "feat(third_party) Port get-ripgrep." (google-gemini#8923)
af36eac
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jacob314 jacob314 jacob314 approved these changes

@scidomino scidomino scidomino approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@joshualitt @jacob314 @scidomino