How to check out GitHub PRs locally?

[blinry]

Hey everyone, thanks for working on this neat software :)

When using Git, sometimes use a command like git fetch origin pull/<id>/head:<name> to fetch a PR.

Is there a way to do that with jj?

[joyously]

See #5388