area: searchhelp wanted
Repository metrics
- Stars
- (19,672 stars)
- PR merge metrics
- (Avg merge 36d 6h) (110 merged PRs in 30d)
Description
As suggested at #design > Add mentions:user search filter #34751 @ 💬, dm-with is a better name for the filter currently called dm-including. We should rename it.
We should offer backwards compatibility like we do for stream:, where typing dm-including suggests dm-with.
All documentation (including ? menu and help center) should be updated.