Pull requests - robur/opam-mirror - Robur.coop git repositories

robur/opam-mirror

New pull request

update to git-kv 0.1.1 -- use val commit :)

#31 by hannes was merged 2024-12-03 12:26:53 +00:00

1 approval

when creating the tarball, only include the packages folder, repo and version

#30 by hannes was merged 2024-11-28 09:12:35 +00:00

tar-include-only-packages-version-repo

1 approval

specify sizes of partitions in MB, not in sectors

#27 by hannes was merged 2024-11-21 11:27:41 +00:00

1 approval

add some Lwt.pause during Disk.check to allow the web server to process requests

#26 by hannes was merged 2024-11-21 11:31:05 +00:00

add-pause-during-check

1 approval

revise startup, address urls pointing to same sha256 and support mirrors (upstream and in opam file)

#24 by hannes was merged 2024-11-20 10:38:22 +00:00

use git-kv 0.0.5+ API for to/of_octets

#17 by hannes was merged 2024-11-08 14:41:13 +00:00

1 approval

Use swapfs

#16 by reynir was merged 2024-11-08 12:54:01 +00:00

Add a download status page, recording:

#15 by hannes was merged 2024-11-01 11:01:52 +00:00

1 approval

extra-source

#14 by hannes was merged 2024-10-26 14:42:12 +00:00

1 approval

Improve logging of bad checksums

#7 by reynir was merged 2024-10-17 16:12:31 +00:00

log-bad-checksum

Demote log level for unavailable packages

#6 by reynir was merged 2024-10-17 16:12:10 +00:00

demote-unavailable

update to mirage 4.8

#4 by hannes was merged 2024-10-16 08:40:11 +00:00

Use GPTar table

#3 by reynir was merged 2024-10-16 09:10:33 +00:00

Remove unnecessary complexity

#2 by reynir was merged 2024-10-03 22:10:09 +00:00

Upgrade opam-mirror

#1 by dinosaure was merged 2024-10-03 13:42:13 +00:00