Code navigation for GitHub.com as in the IDE.
Code navigation for GitHub.com as in the IDE. goto.dev is a Google Chrome browser extension for GitHub.com that augments pages with links on source code symbols to the source location where they were defined. This functionality enables developers to navigate within and across repositories as if they are using the go to definition feature in their IDE. We currently support views on blobs, commits and pull requests for public Java and maven projects.