Bing is actually quite good. Not as good as Google, but much better than Github.