na4zagin3/satyrographos

Allow opam-pin to a repository

na4zagin3 opened this issue · 0 comments

na4zagin3 commented

Currently, Satyrographos runs opam-pin with file://$PWD. It'd better to allow users to pin at the latest commit instead of the work tree.