While not immediately apparent to me, GitHub does have pretty good search. The root URL is, amazingly:
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: