I'm largely happy with GitHub though for public GitHub at least, search is now terrible - it doesn't seem to return anything when not logged in and if you are logged in the filtering options are limited (this was the case mid last year anyway - maybe it's improved but I've given up trying to use the web search).