Skip to content
New issue

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

Add a lint error on local packages containing an url field #6347

Open
kit-ty-kate opened this issue Jan 2, 2025 · 0 comments
Open

Add a lint error on local packages containing an url field #6347

kit-ty-kate opened this issue Jan 2, 2025 · 0 comments

Comments

@kit-ty-kate
Copy link
Member

I was checking out the opam file for FStar (https://github.com/FStarLang/FStar/blob/a3be6122b76ec0ca29030e1ff72576dceeede19d/fstar.opam#L35) and noticed they have a url field. This field does not have any purpose and isn't used.

In my opinion opam should raise an error during linting when the url field is present and the opam file is used in "local project mode" (as opposed to "repository mode").

Currently in "repository mode" with --check-upstream, opam lint already raises error 60 when the url is missing when the package isn't flagged as conf, so i think it would make sense to also raise an error when the opposite happens.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant