to grep specific repos locally, I use a tool called Hound, https://github.com/hound-search/hound https://github.com/hound-search/hound developed by a couple of

to grep specific repos locally, I use a tool called Hound, https://github.com/hound-search/hound https://github.com/hound-search/hound developed by a couple of engineers at Etsy while I was there, but never released officially.