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 new lint check: disallow the extra-files field in opam packages #313

Merged
merged 1 commit into from
May 29, 2024

Conversation

hannesm
Copy link
Contributor

@hannesm hannesm commented May 23, 2024

There's a great alternative - extra-sources - that should be used instead.

The motivation is ocaml/opam-repository#25876, and this PR should be merged and put live once opam-repository is in the new state. I'll comment once this is the case.

I open this PR for (a) CI run (b) review, and (c) tracking the progress of ocaml/opam-repository#25876

There's a great alternative - extra-sources - that should be used instead.
Copy link
Contributor

@benmandrew benmandrew left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

PR technically looks good. We'll wait to see feedback from the opam-repository issue before merging.

@shonfeder
Copy link
Contributor

We talked about ocaml/opam-repository#25876 in the opam repo maintainer meeting yesterday, and the maintenance team was all in favor. I've asked them to make the approval explicit on the issue. But iiuc, we want to be sure to wait to merge this until after the changes go in effect on the opam-repository, so we'll wait to hear from you, @hannesm. Thanks :)

@shonfeder
Copy link
Contributor

I'm going to convert this to a draft, just as an indicator to us that is not waiting to be merged.

@shonfeder shonfeder marked this pull request as draft May 23, 2024 12:17
@hannesm hannesm marked this pull request as ready for review May 29, 2024 13:49
@hannesm
Copy link
Contributor Author

hannesm commented May 29, 2024

This should now be merged and pushed to live.

@shonfeder shonfeder merged commit ccb213b into ocurrent:master May 29, 2024
1 of 2 checks passed
@hannesm hannesm deleted the lint-no-extra-files branch May 29, 2024 13:52
punchagan added a commit to punchagan/opam-repo-ci that referenced this pull request Jul 4, 2024
d6df6db in ocurrent#313 added a check to
prevent use of extra-files in the opam-repository. Also, the repository
doesn't contain any existing packages with extra-files. This means, we
can get rid of the hash check for extra files in the linter.
punchagan added a commit to punchagan/opam-repo-ci that referenced this pull request Jul 4, 2024
d6df6db in ocurrent#313 added a check to
prevent use of extra-files in the opam-repository. Also, the repository
doesn't contain any existing packages with extra-files. This means, we
can get rid of the hash check for extra files in the linter.
punchagan added a commit to punchagan/opam-repo-ci that referenced this pull request Jul 9, 2024
d6df6db in ocurrent#313 added a check to
prevent use of extra-files in the opam-repository. This commit prevents
the `files/` sub-directory from being present in the package directory.
punchagan added a commit that referenced this pull request Jul 12, 2024
d6df6db in #313 added a check to
prevent use of extra-files in the opam-repository. This commit prevents
the `files/` sub-directory from being present in the package directory.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants