Checkout a Github Pull Request without Github CLI
Any github Pull Request (PR) can be used locally, even before it’s been accepted. Simply copy the #ID after the PR title, or from the URL: /pull/ID.
From the repo’s folder:
For example:
More info: Checking out pull requests locally
You can make this a convenient alias. For example, with Powershell: