help wantedneed investigation
Repository metrics
- Stars
- (1,480 stars)
- PR merge metrics
- (Avg merge 2d 2h) (28 merged PRs in 30d)
Description
Looks like filters are case sensitive. Having #example works, it gets filtered out. Yet, if #EXAMPLE is used, it isn’t. Can tags be filtered regardless of their case?