We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
From this comment, it looks like opam-repository maintainers compare the opam files submitted to the opam-repository against the project's opam file.
opam
opam-repository
Would it be useful to automatically compare them? Not sure if diffs should cause the lint to fail, though...
@shonfeder if you have any thoughts based on your triaging of PRs on the opam-repository, feel free to share them here.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
From this comment, it looks like opam-repository maintainers compare the
opam
files submitted to theopam-repository
against the project'sopam
file.Would it be useful to automatically compare them? Not sure if diffs should cause the lint to fail, though...
@shonfeder if you have any thoughts based on your triaging of PRs on the
opam-repository
, feel free to share them here.The text was updated successfully, but these errors were encountered: