-
Improvement
-
Resolution: Unresolved
-
Minor
-
None
-
Jenkins 2.50
As explained in JENKINS-42645 it would be good to have case insensitive search by default also for existing users (especially after search in builds has been "case insensitive search" user property aware - JENKINS-40718). Unfortunately it would be hard to determine if that property is set for historical reasons or user opt-in to case sensitive search intentionally.
One of the possible ways is to switch all users to case sensitive search and create another "stronger" property to get know about that. In the future the old property could be removed. Unfortunately it is quite ugly solution and I hope that someone will propose something better.