something about Forgejo/GitLab/GitHub I found out way too late: When you want to check out the code from a PR, you don't have to add a new remote, but can instead just pull the `refs/pull/<PR number>` git ref from the repo the PR was opened on.
@cyclopentane now I just need support for it in #jujutsu