magthe0

joined 1 year ago
[โ€“] [email protected] 1 points 1 year ago (4 children)

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.

[โ€“] [email protected] 1 points 1 year ago

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