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-...