pkg that depends on mathlib branch

Stream: general

[Johan Commelin]

In leanpkg.toml I can specify a git hash in rev. How can I specify a branch name that I want to track?

[Eric Wieser]

In the past I've just put the hash of my branch there...