Checkout PR by URL

[mntlty]

Currently, Checkout Pull Request by Number only supports a number input value. It would be nice if I could provide the full URL, for example https://github.com/OWNER/REPO/pull/123 and have that work the same as 123 without asking the user to trim the rest of the path

[alexr00]

To verify:

• Install the latest pre-release of GitHub Pull Requests
• Open a folder which contains a clone of a GitHub repo
• Copy a PR URL from that repo
• command "Checkout Pull Request by Number" and paste the url in
• Verify that the PR is checked out.

[anthonykim1]

Love this feature, verified:

Screen.Recording.2025-07-29.at.1.38.32.PM.mov