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

new subcommand: opam admin migrate-extrafiles #5960

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

new subcommand: opam admin migrate-extrafiles #5960

wants to merge 9 commits into from

Commits on Nov 16, 2024

  1. new subcommand: opam admin migrate-extrafiles 

    This subcommand allows to move all extra-files of an existing opam repository
into extra-sources. The files are extracted into a specified local directory,
and the opam files are edited in-place.
    @hannesm @kit-ty-kate
    hannesm authored and kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    3826a12 View commit details
    Browse the repository at this point in the history

  2. minor

    @hannesm @kit-ty-kate
    hannesm authored and kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    57a82be View commit details
    Browse the repository at this point in the history

  3. fix

    @hannesm @kit-ty-kate
    hannesm authored and kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    7a9b5e8 View commit details
    Browse the repository at this point in the history

  4. preserve existing extra-sources

    @hannesm @kit-ty-kate
    hannesm authored and kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    aafcc2e View commit details
    Browse the repository at this point in the history

  5. Delete trailing whitespace from generated opam-topics.inc and opam-ad… 

    …min-topics.inc files
    @kit-ty-kate
    kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    e65c435 View commit details
    Browse the repository at this point in the history

  6. fixup: bump cli version

    @kit-ty-kate
    kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    03e2317 View commit details
    Browse the repository at this point in the history

  7. Add OpamHash.all_kinds

    @kit-ty-kate
    kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    9b395ba View commit details
    Browse the repository at this point in the history

  8. Add OpamArg.hash_kinds

    @kit-ty-kate
    kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    feb1d09 View commit details
    Browse the repository at this point in the history

  9. improve cmd UI

    @kit-ty-kate
    kit-ty-kate committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    9a14e55 View commit details
    Browse the repository at this point in the history