[xelamonster]

Heh, well GitHub's search doesn't exactly scale well either. They _still_ only index the main branch, so if you want to find anything under active development or on an old tag version you're out of luck, clone + grep is the only way.

[lifeisstillgood]

Grepping for something “I am sure it was on a development branch somewhere” is always painful.

I do dream of one day tackling a whole load of these developer “gold plated porcelain” problems - everything from a “glimpse” index of every commit in a repo to better Jenkins config and how to set up mTLS the hard way.

It’s “Thedevmanual” and someday I will have time to write it