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

[FLORA-223] Progressive index import #387

Merged
merged 5 commits into from
Jun 26, 2023
Merged

[FLORA-223] Progressive index import #387

merged 5 commits into from
Jun 26, 2023

Commits on Jun 26, 2023

  1. Add missing dev dependencies

    @RaoulHC
    RaoulHC committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    f9f9180 View commit details
    Browse the repository at this point in the history

  2. Add command to parse the index directly 

    This should make it a lot easier to do incremental mirroring later.
    @RaoulHC
    RaoulHC committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    b04cdc9 View commit details
    Browse the repository at this point in the history

  3. Get uploaded time from cabal modification time

    @RaoulHC
    RaoulHC committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    2708d82 View commit details
    Browse the repository at this point in the history

  4. Add package index table and store timestamps 

    Now when mirroring from an index tarball we'll only import packages
newer than this timestamp from the same repository. We store the
repository provenance in the release table, which means the timestamp is
set to only the relevant packages.
    @RaoulHC
    RaoulHC committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    a0d969d View commit details
    Browse the repository at this point in the history

  5. Update CHANGELOG

    @RaoulHC
    RaoulHC committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    942d2fc View commit details
    Browse the repository at this point in the history