Adding package from pull request URL

[MilesCranmer]

Just a small convenience, it would be nice if the following syntax worked

(myproject) pkg> add https://github.com/JuliaPy/PythonCall.jl/pull/529
     Cloning git-repo `https://github.com/JuliaPy/PythonCall.jl/pull/529`
ERROR: failed to clone from https://github.com/JuliaPy/PythonCall.jl/pull/529, error: GitError(Code:ERROR, Class:HTTP, unexpected http status code: 404)

Yes it's just a couple more clicks to find the user's repository & branch and install that instead, but it would be nice if you could just input pull requests directly

[KristofferC]

Ref #3079

[MilesCranmer]

For pull request URLs it's a bit more complex since the pull request URL itself does not contain the necessary info. We'd probably have to send an API query to GitHub to get the right remote and branch associated to the pull request.

[giordano]

For pull request URLs it's a bit more complex since the pull request URL itself does not contain the necessary info.

Not really, you can always access a PR branch using the ref pull/<PR number>/head. The only problem is that you need to fetch the ref specifically, I don't think you can just clone the repo from that ref. So in practice what you may need to do is to create a bare repo, add the origin, fetch the ref, check it out, instead of just cloning a branch of a repo.

[MilesCranmer]

Cool, that seems like a good way to have this work.