## Stream: general

### Topic: leanpkg refer to branches

#### Jakob von Raumer (Oct 24 2018 at 10:49):

Can I refer to git branches instead of revisions in leanpkg.toml?

#### Gabriel Ebner (Oct 24 2018 at 11:43):

It should work. You can also refer to the revision of the branch, of course.

Last updated: May 12 2021 at 22:15 UTC