revise startup, address urls pointing to same sha256 and support mirrors (upstream and in opam file)
I added a second commit which makes the contents available as soon as they're checked. And once the check has been completed, the (mutable) field (checked
) is set to None.
Git to/of_octets and startup
what is still unclear to me is whether we should only dump the index.tar.gz or also the git repository?
and if the answer is yes to the latter, should we store it uncompressed? the issue is…
revise startup (as proposed in #18):
e51550aedc
if there's a http error, return the error
982a35a5b1
status: sort time as newest first
status page: add more information
Different URL with same checksum
Git to/of_octets and startup
I guess the question I have in mind is whether a git_kv pull from scratch (without an existing git_kv) is bandwidth-wise much more expensive than if we have a repository already.
An alternative…
swapfs error handling: not enough space
At startup, always check the digests of the files