Skip to content

lock: add '--keep-local' argument to add local pins to 'pin-depends:' field#6411

Merged
kit-ty-kate merged 2 commits intoocaml:masterfrom rjbou:lock-local-pinsMar 7, 2025