Why don’t you just switch your github clone one to default to master and search that? It’s identical. Or clone it to your computer and search through all history it has?
Why don’t you just switch your github clone one to default to master and search that? It’s identical. Or clone it to your computer and search through all history it has?