It was a while ago I used Pull Requests in GitHub and now when I'm trying to find the handy copy-pastable instructions for how to checkout a PR locally on my machine, I cannot find them anymore.

They used to be in the bottom of the PR I think, but now they are nowhere to be found. I can only find usage instructions for "gh" cli, "Checkout with GitHub Desktop" and something called "Codespaces".

I'm 100% sure there used to be a ~three-liner that you could basically copy-paste to checkout the PR without any external tools besides git itself. But now it seems to either have been removed, or it's ___location have changed so it's really hard to find.