github_notes
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
github_notes [2023/05/23 21:43] – [dummy] raju | github_notes [2024/01/26 18:10] – [exclude a repository from search results] raju | ||
---|---|---|---|
Line 21: | Line 21: | ||
===== searching code ===== | ===== searching code ===== | ||
+ | ==== search files with extension ==== | ||
+ | < | ||
+ | foo path: | ||
+ | </ | ||
+ | |||
+ | ex:- | ||
+ | < | ||
+ | foo path: | ||
+ | </ | ||
+ | |||
+ | will search for '' | ||
+ | |||
+ | Ref:- https:// | ||
+ | |||
==== search in a particular file ==== | ==== search in a particular file ==== | ||
Use | Use | ||
Line 40: | Line 54: | ||
Ref: | Ref: | ||
* https:// | * https:// | ||
+ | |||
+ | ==== exclude forks from search results ==== | ||
+ | tags | do not search in forks | ||
+ | |||
+ | To exclude forks from the search results, you can append | ||
+ | < | ||
+ | NOT is:fork | ||
+ | </ | ||
+ | |||
+ | Example: | ||
+ | < | ||
+ | header_to_metadata_and_cell NOT is:fork | ||
+ | </ | ||
+ | |||
+ | On 2026-01-26, '' | ||
+ | |||
===== search issues ===== | ===== search issues ===== | ||
==== search issues filed by a user ==== | ==== search issues filed by a user ==== |
github_notes.txt · Last modified: 2024/01/26 18:14 by raju