Mirroring the opam repository, including source archives
Hannes Mehnert
1e5d412d2d
After each tarball creation to dump the index Also, revise startup: - read index, if successful, start HTTP server - schedule an initialization of the git_kv later (and potential dump) - schedule disk check later - if not successful - initialize git_kv (may need to clone opam repository) - potentially schedule dump - schedule disk check |
||
---|---|---|
mirage | ||
LICENSE.md | ||
README.md |
opam-mirror unikernel
This unikernel periodically (at startup, on request, every hour) updates the provided opam-repository and downloads all referenced archives. It acts as an opam-repository including archive mirror. Only archives with appropriate checksums are stored.