Search in github repo

$ git rev-list --all | xargs git grep -F ‘’

Search in github repo

To search within a particular repository or organization, 
navigate to the repository or organization page, 
type what you're looking for into the search field 
at the top of the page, and press Enter.

Taken from https://docs.github.com/en/github/searching-for-information-on-github/about-searching-on-github#:~:text=To%20search%20within%20a%20particular,the%20page%2C%20and%20press%20Enter.

Similar codes

1 vote152 views1 answer
Bash string starts with
Shell/Bash
4 votes157 views3 answers
Batch for loop
Shell/Bash
1 vote153 views3 answers
Install font on linux
Shell/Bash
20 votes148 views6 answers
Revert to commit git
Shell/Bash
1 vote164 views1 answer
Tinker not colorful
Shell/Bash
0 vote153 views1 answer
HFSS parametic sweep in batch
Shell/Bash
0 vote145 views1 answer
Sudo add-apt-repository ppa:diodon-team/stable
Shell/Bash
0 vote152 views1 answer
Mac quit finder
Shell/Bash
0 vote160 views1 answer
Awk print until match
Shell/Bash
18 votes148 views2 answers
Gimp
Shell/Bash