help wantedneed investigation
Repository metrics
- Stars
- (1,453 stars)
- PR merge metrics
- (PR metrics pending)
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?