github/developer.github.com — pull request #392 by gjtorikian (2013-12-06 19:25:53+00:00)
Title: Quick jump search

/cc @tobiasahlin @github/api @github/docs-platform @jdennes @izuzak