Checkout PR by URL

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