A smarter, more complete-y search bar

We often like to think of text as a UI at GitHub. We use text to navigate our text editors, we use keyboard shortcuts to delete our email, and we…