leanpkg dependencies on branches

Stream: general

[Scott Morrison]

I'd like to add a leanpkg dependency to a non-master branch of a github. Does anyone know how to do this?

[Simon Hudon]

On github, get the commit hash of the head of that branch and paste it leanpkg.toml

[Scott Morrison]

Okay -- I discovered the same thing in the meantime, but leanpkg upgrade then takes me off that branch back to master, which is not ideal, although certainly manageable.