search

eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Support pinning git repos with a commit hash #8

Closed eayus closed 2 years ago

eayus commented 2 years ago

Users should be able to give their git dependencies an optional commit hash.

I have a good idea of how this should be implemented so I'll take this issue. I should have a solution by the end of tomorrow.

eayus commented 2 years ago

I should say that I will get this done eventually, just getting sidetracked with other stuff and Christmas. I've already made some preliminary changes which should give the basic idea of what I'm planning.

eayus commented 2 years ago

Ok, we now support specifying a commit hash using the commit field.