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.

Sign up for GitHub

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

Jump to bottom

Allow opam pin remove to take a package as argument #5325

Merged
merged 4 commits into from
Oct 31, 2022
Merged

Allow opam pin remove to take a package as argument #5325

merged 4 commits into from
Oct 31, 2022

Commits on Oct 25, 2022

  1. reftest: Test opam pin remove <pkg>.<version>

    @kit-ty-kate
    kit-ty-kate committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    51a5486 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Add OpamPinned.version_opt

    @kit-ty-kate
    kit-ty-kate committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    6b3bb1d View commit details
    Browse the repository at this point in the history

  2. Allow opam pin remove to take a package (<pkg>.<version>) as argument

    @kit-ty-kate
    kit-ty-kate committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    bc52c39 View commit details
    Browse the repository at this point in the history

  3. Update master_changes.md

    @kit-ty-kate
    kit-ty-kate committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    6ce1228 View commit details
    Browse the repository at this point in the history