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

repository authorisations #8494

wants to merge 3 commits into
base: master


None yet
3 participants

hannesm commented Feb 16, 2017

this add - in opam file format - authorisations for packages -- based on empirical analysis of the last 7000 PRs - see for details.

This is required for conex. This should not harm any old opam (famous last words).


This comment has been minimized.


camelus commented Feb 16, 2017

No new or changed opam files 887a5f0

Installability check (6110 → 6110)

This comment has been minimized.


avsm commented Mar 21, 2017

hannesm: we need to work out a deployment/maintenance plan for both opam2 and conex before merging this into the stable repo. I'll close this for now as it's running the CI every time, but that's not because it won't get accepted eventually...

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