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

Small fix for 'autoremove' #4995

Merged
merged 4 commits into from
Jan 24, 2022
Merged

Small fix for 'autoremove' #4995

merged 4 commits into from
Jan 24, 2022

Conversation

AltGr
Copy link
Member

@AltGr AltGr commented Jan 14, 2022

Follows from #4969 and fixes #4727
Also a fix for #4890

@AltGr AltGr force-pushed the autoremove branch 2 times, most recently from 4a441a7 to 17b6cb1 Compare January 17, 2022 11:28
@kit-ty-kate kit-ty-kate added this to PR in progress in Opam 2.2.0 via automation Jan 17, 2022
@kit-ty-kate kit-ty-kate moved this from PR in progress to PR to review in Opam 2.2.0 Jan 17, 2022
@kit-ty-kate kit-ty-kate moved this from PR to review to PR finalised in Opam 2.2.0 Jan 17, 2022
tests/reftests/run.ml Outdated Show resolved Hide resolved
@rjbou rjbou added this to the 2.2.0~alpha milestone Jan 18, 2022
tests/reftests/run.ml Outdated Show resolved Hide resolved
@AltGr
Copy link
Member Author

AltGr commented Jan 19, 2022

The only test failure is fixed by #5007 and/or #5009: this is independent and can be merged

@AltGr
Copy link
Member Author

AltGr commented Jan 19, 2022

ah wait, need to rebase on #5004 first

@kit-ty-kate kit-ty-kate added the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Jan 20, 2022
@kit-ty-kate kit-ty-kate removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Jan 21, 2022
@rjbou rjbou merged commit 1e3b9ca into ocaml:master Jan 24, 2022
Opam 2.2.0 automation moved this from PR finalised to Done Jan 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Opam 2.2.0
  
Done
Development

Successfully merging this pull request may close these issues.

Incorrect removal of a package with conditional dependency
3 participants