GitHub: searching in your own repositories

While not immediately apparent to me, GitHub does have pretty good search. The root URL is, amazingly:

https://github.com/search

Also here in a new tab.

One example is enough, as the GitHub URL gives more detail. Note the syntax used is:

[search string](space)[literal "user:"][repo owner to search]

, as in:

Also note that you don’t seem able to enter wildcards…

Pretty much confirmed by this:

Advertisements

Windows Search: Advanced Query Syntax

These are the screenshots from my video on Windows Search, which previously I had never taken the trouble to understand. The link to the video is below the screenshots. This link gives the msdn view on Advanced Query Syntax, which is the supposed proper name for Windows Search. It feels as though Microsoft are just blindly advocating Cortana without understanding there is need to promote their ability to search more specifically just on the desktop. Desktop search is still a use-case.
If you are kind enough to watch the video, well thank you :-).