Rubberduck

Rubberduck is a browser extension that enhances the GitHub pull request experience by adding IDE features: finding usages and definitions, navigation via files tree to the web browser.

Rubberduck is used by hundreds of developers all over the world, and is available as a quick download from the Chrome Web Store. Self-hosted support is coming soon!