Zulip Chat Archive
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: Dec 20 2023 at 11:08 UTC