opam-mirror

robur/opam-mirror

Fork 0

Commit graph

fdbce68140 require paf 0.2.0+ Hannes Mehnert 2022-10-05 14:27:37 +0200
f3478aea02 Merge pull request 'adapt to new paf' (#20) from paf-02 into main hannes 2022-10-05 12:26:51 +0000
e177cb156d adapt to new paf Hannes Mehnert 2022-09-29 14:40:50 +0200
1b86e6de78 remove pin of mirage-block-partition and oneffs (now in opam) Hannes Mehnert 2022-09-29 00:12:42 +0200
32812be82b Merge pull request 'Rename partition devices so they are shadowed' (#19) from refactor-partition-naming into main Reynir Björnsson 2022-09-28 13:00:41 +0000
3e946395aa Rename partition devices so they are shadowed Reynir Björnsson 2022-09-28 11:18:17 +0200
9b02dfdd88 solo5-elftool fixed now Hannes Mehnert 2022-09-28 10:41:46 +0200
fd94550434 Merge pull request 'use git-kv on store to dump and restore the git commit' (#17) from also-store-git into main hannes 2022-09-27 20:44:04 +0000
c6feb78653 more failures Hannes Mehnert 2022-09-27 19:02:17 +0200
b9003fb91d add a list of urls not to try to download (since they fail or have bad checksums) Hannes Mehnert 2022-09-27 18:56:08 +0200
5e427897be use git-kv on store to dump and restore the git commit Hannes Mehnert 2022-09-26 22:42:00 +0200
83d494c433 Merge pull request 'read the data in chunks and send them chunk-wise' (#16) from partial-read into main hannes 2022-09-27 14:54:36 +0000
8bdfb19e6f use read_partial in init as well for checksum computation Hannes Mehnert 2022-09-27 16:25:57 +0200
007842f3d3 flush and wait Hannes Mehnert 2022-09-27 12:22:29 +0200
938da1a211 read the data in chunks and send them chunk-wise Hannes Mehnert 2022-09-27 10:46:14 +0200
c81ba101f9 Merge pull request 'Hash cache' (#14) from partition' into main hannes 2022-09-27 08:05:27 +0000
9bb066cd56 minor cleanups Hannes Mehnert 2022-09-26 21:51:42 +0200
b26e23c462 add --verify to force verification of the on-disk data Hannes Mehnert 2022-09-26 21:49:47 +0200
24dda11659 Hash cache Reynir Björnsson 2022-09-26 17:46:40 +0200
e22047249f log git interaction Hannes Mehnert 2022-09-26 18:33:29 +0200
329b78c923 fast path if nothing changed upstream Hannes Mehnert 2022-09-26 15:03:35 +0200
dd3b2f168c minor README nit Hannes Mehnert 2022-09-26 14:11:59 +0200
0cf002e0cd update git repo and fetch archives hourly Hannes Mehnert 2022-09-26 14:11:23 +0200
44d737887a use git_kv Reynir Björnsson 2022-09-26 11:26:58 +0200
9b7e9e5485 use the gc every now and then Hannes Mehnert 2022-09-26 13:46:23 +0200
069643465f allow to specify the number of parallel downloads as boot parameter Hannes Mehnert 2022-09-25 23:13:52 +0200
b8a369dac8 Fix typo Reynir Björnsson 2022-09-22 13:41:19 +0200
8dbd3ed663 remove key-hex, it is the default now Hannes Mehnert 2022-09-22 13:20:11 +0200
7ec50fe588 comment out non-working code for now Hannes Mehnert 2022-09-21 11:21:06 +0200
b6218b979b attempt to serialize git commit (does not compile) Hannes Mehnert 2022-09-07 10:33:21 +0200
99dcf500c1 once the http fetch is done, close the flow (#5) Hannes Mehnert 2022-09-07 09:09:15 +0200
023fb4283d use tar and extend the block device Hannes Mehnert 2022-09-07 09:08:45 +0200
640451bfaa avoid attempting to download the big [tm] archive Hannes Mehnert 2022-09-07 08:40:40 +0200
6f9d5706cc WIP: use tar Hannes Mehnert 2022-09-06 09:55:00 +0200
ef2ec2e946 add a hook_url to conduct a git pull Hannes Mehnert 2022-09-04 14:51:41 +0200
3d1bb6c153 unikernel: remove unused module type DNS Hannes Mehnert 2022-09-04 13:25:33 +0200
7d4387807b minor Hannes Mehnert 2022-09-04 10:28:38 +0200
f62f2a09ce in addition to retrieve stuff, also serve a repository: - archive cache - repository (index.tar.gz) dynamically created from tarball - repo file (generated including the commit id and repository URL) Hannes Mehnert 2022-09-04 10:01:45 +0200
c665bb23fb Merge pull request 'Fix a leak of fd from h2 - we must shutdown the connection to really close the fd' (#6) from fix-h2-leak into main hannes 2022-09-01 07:53:10 +0000
d03cd65dcd Fix a leak of fd from h2 - we must shutdown the connection to really close the fd Romain Calascibetta 2022-09-01 09:50:53 +0200
3aca170154 use a direct_kv_rw (unix only) Hannes Mehnert 2022-09-01 09:32:29 +0200
a3fdc527d2 new flag: key-hex to specify whether the KV-keys should be hex-encoded or raw binary Hannes Mehnert 2022-09-01 09:31:53 +0200
6d51eb707b minor: silence warnings Hannes Mehnert 2022-09-01 09:30:46 +0200
a1e4b71eb9 unikernel: new flag --check to only check data (and hashes) on disk Hannes Mehnert 2022-09-01 09:30:11 +0200
c16f2288ed Use Status.is_redirection instead of matching on the polymorphic variant Hannes Mehnert 2022-09-01 09:27:03 +0200
86c961f5cf less debug Hannes Mehnert 2022-08-31 16:25:04 +0200
bf29496274 Merge pull request 'Limit the number of concurrent downloads' (#4) from download-pool into main hannes 2022-08-30 16:42:40 +0000
030e6d8ab7 Limit the number of concurrent downloads Reynir Björnsson 2022-08-30 16:25:02 +0200
236e09b7e0 First PoC about a native HTTP client on Mirage with mimic/paf/httpaf/h2 Romain Calascibetta 2022-08-29 18:32:32 +0200
5d86452f5f (a) paf 0.1.0 is released now, which works fine (no pins needed) (b) use 16 as program_block_size, not 512 - this results in a working unikernel (c) report data pushed into the map Hannes Mehnert 2022-08-30 11:35:28 +0200
c3d66b96b1 use chamelon to store Hannes Mehnert 2022-08-26 17:23:46 +0200
cd3294ebe3 only download stuff that is not present Hannes Mehnert 2022-08-26 15:34:20 +0200
a61f944d4f read and dump to a kv, taking csums into account Hannes Mehnert 2022-08-26 15:18:02 +0200
6fe03ce867 git clone and extract urls & checksums Hannes Mehnert 2022-08-25 22:47:46 +0200
788f58d3cf minor: no console Hannes Mehnert 2022-08-25 15:13:42 +0200
8b5bfdd789 initial commit Hannes Mehnert 2022-08-25 14:57:03 +0200