Searching in source code on GitHub requires login
github.com
github.com
https://github.com/search?q=boilingfrog&type=code
Perhaps the behavior depends on the user IP address. $ curl 'https://github.com/search?q=boilingfrog&type=code'
<html><body>You are being <a href="https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Dboilingfrog%26type%3Dcode">redirected</a>.</body></html>Visiting this link sends me to the log-in page.
https://github.com/search?q=boilingfrog&ref=simplesearch nets results, but you are correct when we talk about code search.
Damn, this is moving backwards again... fitting search term. People should start to host their projects on alternative sites.