When doing the search, the number of results for code is not listed. Instead a '?' is shown. The submission removed the url parameters. Here's a full example:
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>