@e06c1f25 I _think_ that both GitHub and GitLab have pull requests in a different refs tree. I'd love a write-up of these other ref trees out there (besides stash, which you covered).

Also, the world needs more interesting and coordinated use of git notes.