Post

Soo... what's the best way to get PR link / CI status into "jj log" #jj? Something with reasonable performance 😅