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

Add multiple queries to repoquery search #2897

Merged
merged 10 commits into from
Oct 9, 2023

Conversation

AntoinePrv
Copy link
Member

@AntoinePrv AntoinePrv commented Oct 6, 2023

If this works we only need to backport the commits:

  • Mulitple queries in repoquery search
  • Stubgen

@AntoinePrv AntoinePrv self-assigned this Oct 6, 2023
@AntoinePrv AntoinePrv changed the title Add multiple queries to repoquery search" Add multiple queries to repoquery search Oct 9, 2023
return query_result(QueryType::kSEARCH, query, std::move(g));
return query_result(
QueryType::Search,
fmt::format("{}", fmt::join(queries, " ")), // Yes this is disgusting
Copy link
Member

Choose a reason for hiding this comment

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

🤫

@JohanMabille JohanMabille merged commit 5d515fa into mamba-org:main Oct 9, 2023
23 checks passed
@AntoinePrv AntoinePrv deleted the repoquery branch October 10, 2023 07:26
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.

None yet

2 participants