magthe0

joined 11 months ago
[โ€“] magthe0@alien.top 1 points 10 months 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.

[โ€“] magthe0@alien.top 1 points 11 months ago

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