search

na4zagin3 / satyrographos

Package manager for SATySFi
GNU Lesser General Public License v3.0
43 stars 13 forks source link

Allow opam-pin to a repository #236

Open na4zagin3 opened 3 years ago

na4zagin3 commented 3 years ago

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.