No description provided.
Add ripgrep recipe at 15.1.0 #121
Merged
jhuntwork
merged 1 commit from 2026年06月04日 19:23:32 +02:00
extra/ripgrep into main
jhuntwork
commented 2026年06月04日 19:07:47 +02:00
jhuntwork
added 1 commit 2026年06月04日 19:07:47 +02:00
Add ripgrep recipe at 15.1.0
2f69fa7006
All checks were successful
/ validate (pull_request) Successful in 5s
jhuntwork
merged commit 91dad62f89 into main 2026年06月04日 19:23:32 +02:00
jhuntwork
deleted branch extra/ripgrep 2026年06月04日 19:23:33 +02:00
jhuntwork
referenced this pull request from a commit 2026年06月04日 19:23:33 +02:00
Sign in to join this conversation.
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".
No due date set.
Dependencies
No dependencies set.
Reference
merelinux/recipes!121
Loading...
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "extra/ripgrep"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?