Press enter to search (on search page)

Is this completely wrong?! I hope not… The number in the branch name refers to an issue on a different repo… That seems a bit wrong…

@davidmiller ping!