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

Advanced search: Add the possibility to search in the minor events #1781

Merged
merged 1 commit into from
May 23, 2024

Conversation

canonici
Copy link
Contributor

@canonici canonici commented Apr 18, 2024

No description provided.

@canonici canonici added the PR: Queued Pending pull request, waiting for other work to be merged or closed label Apr 18, 2024
@ilankri ilankri self-assigned this Apr 24, 2024
@ilankri ilankri added the search label May 7, 2024
@ilankri ilankri force-pushed the gnt-adv-search-minor-events branch 2 times, most recently from a7ab8b3 to 4621a24 Compare May 7, 2024 13:53
@ilankri ilankri changed the title Gnt adv search minor events Advanced search: Add the minor events to the disjunctive search May 7, 2024
@ilankri ilankri force-pushed the gnt-adv-search-minor-events branch from 4621a24 to 64cf245 Compare May 7, 2024 14:01
@ilankri ilankri changed the title Advanced search: Add the minor events to the disjunctive search Advanced search: Add the possibility to search in the minor events May 7, 2024
@ilankri ilankri force-pushed the gnt-adv-search-minor-events branch 10 times, most recently from 24260dc to cdb3018 Compare May 13, 2024 08:48
@ilankri
Copy link
Member

ilankri commented May 14, 2024

@canonici Could you review this PR please?

@ilankri ilankri force-pushed the gnt-adv-search-minor-events branch from cdb3018 to 198f1b4 Compare May 17, 2024 10:07
@ilankri ilankri force-pushed the gnt-adv-search-minor-events branch from 198f1b4 to 1a87dbc Compare May 20, 2024 10:07
@ilankri ilankri removed the PR: Queued Pending pull request, waiting for other work to be merged or closed label May 20, 2024
@ilankri ilankri marked this pull request as ready for review May 23, 2024 08:32
@ilankri ilankri merged commit e522244 into gnt May 23, 2024
@ilankri ilankri deleted the gnt-adv-search-minor-events branch May 23, 2024 08:32
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.

None yet

2 participants