dune-release icon indicating copy to clipboard operation
dune-release copied to clipboard

Check if there's a `pin-depends` field in .opam

Open pitag-ha opened this issue 4 years ago • 0 comments

The pin-depends field has no effect on the package repository and, if I understand correctly, should be removed from the opam file before starting the release. When releasing Irmin, they perform that check manually: see here.

I suggest to add a lint check that checks if the opam file contains a pin-depends field. So the user would be warned in that case both when running dune-release check and when running dune-release distrib without the --skip-lint option.

pitag-ha avatar Apr 16 '21 17:04 pitag-ha