Open rgrinberg opened 6 years ago
By doing $ opam source --dev on it. It should be able to catch issues like this:
$ opam source --dev
https://github.com/ocaml/opam-repository/pull/11342
cc @avsm
Good idea, thanks!
Shouldn't that be part of the normal linting process (which is built-in opam) ?
It'd be useful for local linting, as well. Although you probably don't want it when linting a whole repository...
By doing
$ opam source --dev
on it. It should be able to catch issues like this:https://github.com/ocaml/opam-repository/pull/11342
cc @avsm