"git grep" is easy enough? Of course it defeats the point of having a git repo website... That said, even if they add it, these are the folks responsible for JI

"git grep" is easy enough? Of course it defeats the point of having a git repo website... That said, even if they add it, these are the folks responsible for JIRA's search -- don't expect it to be intuitive. At all. ;-)