How to add a specific PR of a package to an environment using Pkg

General Usage
,
1

I think someone said this should be possible.

There is a specific PR of a package (bring back TermInterface by shashi · Pull Request #598 · JuliaSymbolics/SymbolicUtils.jl · GitHub) which I would like to try out locally. Is there a way to add this specific PR directly to my environment using Pkg?

2

I have asked this here before but did not easily find it via search.

Pkg lets you add specific branches of a repo, so you just need to add the branch associated with that PR. See ] ?add for docs and examples.

1 Like
3

Just adding in that for the specific case, this becomes add SymbolicUtils#s/revert-dep-revert