While discussing #7110, it came to light that instead of running the linter on all local pins when using opam install or on opam show etc (but not opam pin, see #7117), showing "cosmetic" lints such as a missing license field or a missing description, it would be more user-friendly to only show the important checks (genuine format errors, etc) and leave the cosmetic ones to opam lint (ran in CI, by opam-publish or by opam-repo-ci, etc)
Doing this would remove some clutter for people who only need to define an opam package for local installations or for a quick test.
Doing so would also simplify our testsuite engine as we wouldn't need the ### <pin:opamfile> anymore
While discussing #7110, it came to light that instead of running the linter on all local pins when using
opam installor onopam showetc (but notopam pin, see #7117), showing "cosmetic" lints such as a missing license field or a missing description, it would be more user-friendly to only show the important checks (genuine format errors, etc) and leave the cosmetic ones toopam lint(ran in CI, by opam-publish or by opam-repo-ci, etc)Doing this would remove some clutter for people who only need to define an opam package for local installations or for a quick test.
Doing so would also simplify our testsuite engine as we wouldn't need the
### <pin:opamfile>anymore