2024-10-23T10:20:40Z - 2024-11-23T10:20:40Z

Overview

9 active pull requests
12 active issues
Excluding merges, 1 author has pushed 7 commits to main and 40 commits to all branches. On main, 2 files have changed and there have been 38 additions and 14 deletions.

7 pull requests merged by 2 users

Merged #26 add some Lwt.pause during Disk.check to allow the web server to process requests 2024-11-21 11:31:05 +00:00

Merged #27 specify sizes of partitions in MB, not in sectors 2024-11-21 11:27:41 +00:00

Merged #24 revise startup, address urls pointing to same sha256 and support mirrors (upstream and in opam file) 2024-11-20 10:38:22 +00:00

Merged #17 use git-kv 0.0.5+ API for to/of_octets 2024-11-08 14:41:13 +00:00

Merged #16 Use swapfs 2024-11-08 12:54:01 +00:00

Merged #15 Add a download status page, recording: 2024-11-01 11:01:52 +00:00

Merged #14 extra-source 2024-10-26 14:42:12 +00:00

2 pull requests proposed by 2 users

Proposed #25 WIP: Cache only version 2024-11-18 10:23:11 +00:00

Proposed #28 Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date 2024-11-21 13:21:02 +00:00

8 issues closed from 2 users

Closed #18 At startup, always check the digests of the files 2024-11-20 10:39:26 +00:00

Closed #21 Different URL with same checksum 2024-11-20 10:39:07 +00:00

Closed #13 Take the mirror into account in url 2024-11-20 10:38:59 +00:00

Closed #5 Idea: Be able to use one or more upstream caches 2024-11-20 10:38:51 +00:00

Closed #23 invalid pack file 2024-11-20 09:34:41 +00:00

Closed #10 file size and parallel downloads 2024-11-08 12:53:18 +00:00

Closed #9 Provide a UI for download failures 2024-11-04 10:00:09 +00:00

Closed #8 Process "extra-source" as well as URL 2024-10-26 14:42:13 +00:00

7 issues created by 2 users

Opened #18 At startup, always check the digests of the files 2024-11-13 12:19:44 +00:00

Opened #19 swapfs error handling: not enough space 2024-11-13 12:21:23 +00:00

Opened #20 Git to/of_octets and startup 2024-11-13 12:35:00 +00:00

Opened #21 Different URL with same checksum 2024-11-13 13:17:39 +00:00

Opened #22 status page: add more information 2024-11-13 13:29:07 +00:00

Opened #23 invalid pack file 2024-11-13 19:25:35 +00:00

Opened #29 index.tar.gz contains unnecessary files 2024-11-21 17:29:37 +00:00