Add a flag to opam lock to keep local pins #4897

Closed

Labels

KIND: FEATURE WISHeasy first issue

Milestone

opened

By default, local pins are not kept in lock file. It can be useful to share a setup (after editing paths).

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

KIND: FEATURE WISHeasy first issue

Type

No type

Projects

No projects

Milestone

2.4.0~alpha1

Relationships

None yet

Development

No branches or pull requests