github_notes
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
github_notes [2023/12/25 07:53] – [search files with extension] raju | github_notes [2024/01/26 18:10] – [exclude a repository 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 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