magthe0

joined 1 year ago
[–] magthe0@alien.top 0 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.