github_notes
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
github_notes [2023/12/25 07:53] – [search files with extension] raju | github_notes [2024/01/26 18:14] (current) – [exclude forks from search results] raju | ||
---|---|---|---|
Line 54: | Line 54: | ||
Ref: | Ref: | ||
* https:// | * https:// | ||
+ | |||
+ | ==== exclude forks from search results ==== | ||
+ | tags | do not search in forks | ||
+ | |||
+ | To exclude forks from your results: | ||
+ | < | ||
+ | NOT is:fork | ||
+ | </ | ||
+ | |||
+ | To search only fork repositories: | ||
+ | < | ||
+ | is:fork | ||
+ | </ | ||
+ | |||
+ | Example: | ||
+ | < | ||
+ | header_to_metadata_and_cell NOT is:fork | ||
+ | </ | ||
+ | will search for header_to_metadata_and_cell in non-fork repositories. | ||
+ | |||
+ | On 2026-01-26, '' | ||
+ | |||
+ | Ref: | ||
+ | * https:// | ||
+ | * https:// | ||
+ | |||
===== search issues ===== | ===== search issues ===== | ||
==== search issues filed by a user ==== | ==== search issues filed by a user ==== |
github_notes.1703490831.txt.gz · Last modified: 2023/12/25 07:53 by raju