It's worth taking a look at livegrep (Try it here: https://livegrep.com/search/linux https://livegrep.com/search/linux) as an alternative to your git provider's

It's worth taking a look at livegrep (Try it here: https://livegrep.com/search/linux https://livegrep.com/search/linux) as an alternative to your git provider's code search. Quoting patio11: "I intend to boot up a livegrep instance on the first day of every startup for the rest of my life. It borders on miraculous." It is indeed very good.