Pulse Contributors Code frequency Recent commits

2024-11-14T15:36:50Z - 2024-11-21T15:36:50Z

Period: 1 week

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

5 active pull requests

5 active issues

3
Merged pull requests 2
Proposed pull requests 5
Closed issues 0
New issues

Excluding merges, 0 authors have pushed 0 commits to main and 9 commits to all branches. On main, 0 files have changed and there have been 0 additions and 0 deletions.

3 pull requests merged by 1 user

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

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

5 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

2 unresolved conversations

Open #20 Git to/of_octets and startup 2024-11-21 13:21:02 +00:00

Open #19 swapfs error handling: not enough space 2024-11-19 13:59:03 +00:00