IIRC this was actually accomplished using a configuration in the git repo itself. GitHup PR numbers are custom refs, but they aren’t included by default on git clone. I don’t remember what the refs are called though. Hopefully someone else can help with that.

avy is good for quickly jumping between what’s visible. Occur is brilliant, it might also be worth mentioning consult and embark.