With GitHub code search, your code—and the world’s—is at your fingertips.