Skip to content

Conversation

mrpollo
Copy link
Contributor

@mrpollo mrpollo commented Sep 19, 2025

This PR tries to improve search by git hash or git tag, local results are great!

Copy link
Member

@bkueng bkueng left a comment

Choose a reason for hiding this comment

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

Nice, can you also check CI?

@mrpollo
Copy link
Contributor Author

mrpollo commented Sep 24, 2025

@bkueng changes are in, if you approve you can squash commits

@bkueng bkueng force-pushed the mrpollo/search_improvements branch from b500fc2 to c405a11 Compare September 25, 2025 08:11
@bkueng bkueng merged commit 361dcbb into main Sep 25, 2025
5 checks passed
@bkueng bkueng deleted the mrpollo/search_improvements branch September 25, 2025 08:11
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.

2 participants