That’s “jump to definition” announced just the other day and rolling out to some public repos for now. https://github.blog/changelog/2019-06-11-jump-to-definit

That’s “jump to definition” announced just the other day and rolling out to some public repos for now. https://github.blog/changelog/2019-06-11-jump-to-definition-in-public-repositories https://github.blog/changelog/2019-06-11-jump-to-definition-...