File tree navigation on GitHub? Yes, please.

Matt King

We’ve added a file tree to GitHub so that you can quickly explore an entire repository and jump between files without taking your hands off the keyboard.

Get started by downloading the Sourcegraph for GitHub Chrome extension

And then jump into a repository

Pro Tips:

  • Use “Option+T/Alt+T” to show/hide the file tree
  • Navigate with arrow keys to expand or collapse directories
  • Customize your features by clicking the Sourcegraph icon in the toolbar

Note: To ensure the best user experience, we disable our features by default if we detect that another installed extension interferes with ours. You can always re-enable features in the options menu.


Get Cody, the AI coding assistant

Cody makes it easy to write, fix, and maintain code.