Skip to content

Conversation

chrishtr
Copy link
Contributor

@chrishtr chrishtr commented Sep 8, 2025

The previous search included closed items.

The previous search included closed items.
@annevk
Copy link
Member

annevk commented Sep 8, 2025

As long as we don't have more than twenty or so, that seems reasonable? Perhaps at some point we should split them, but with 9 items it seems okay.

@chrishtr
Copy link
Contributor Author

chrishtr commented Sep 8, 2025

(I don't have permissions to land this PR.)

@domenic
Copy link
Member

domenic commented Sep 9, 2025

This seems to be a revert of my 082e524 / #250...

@annevk
Copy link
Member

annevk commented Sep 9, 2025

I'm a bit confused by Chris both upvoted my comment and approved this PR at the same time and @chrishtr wants to land this PR despite my comment.

Copy link
Member

@annevk annevk left a comment

Choose a reason for hiding this comment

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

See above comments.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

4 participants