Run mathport on a mathlib(3) branch?

Stream: mathlib4

[Michael Rothgang]

Can I run mathport on a mathlib3 branch? I tried one-shot mode (the branch I care about only modifies one file); that failed because of dependencies :-)
I never installed Lean 3/leanproject; is there a way I can still harness the power of mathport?

[Michael Rothgang]

Case in point: I care about porting https://github.com/leanprover-community/mathlib/compare/master...hrmacbeth-riemannian2

[Eric Wieser]

I think you should just install leanproject; or use mathport on gitpod if you'd rather install it there than on your local machine