obi icon indicating copy to clipboard operation
obi copied to clipboard

integrate opam lint information into obi index

Open avsm opened this issue 6 years ago • 0 comments

The lints branch of obi-logs contains opam-lint that is regularly run the main opam repository.

There is information in there relevant to package maintainers, such as broken distfiles and/or constraint inconsistencies. We should hook this into the main Obi index by parsing the output.

Fixing this is blocked on https://github.com/ocaml/opam/issues/3342 in upstream opam, since the existing opam lint output is difficult to parse directly. (cc @AltGr as fyi)

avsm avatar Jun 12 '18 16:06 avsm