GitHub only limits global code search when not logged in, you can search in any specific repo just fine. That’s not even remotely comparable. How often do you n

GitHub only limits global code search when not logged in, you can search in any specific repo just fine. That’s not even remotely comparable. How often do you need to search an issue tracker (and think of users who may not be developers), how often do you need to search through all code on GitHub?