2024-11-20T20:16:29Z - 2024-11-23T20:16:29Z
Overview
Excluding merges,
0 authors
have pushed
0 commits
to main and
3 commits
to all branches.
On main,
0 files
have changed
and there have been
0 additions
and
0 deletions.
2 pull requests merged by 1 user
Merged
#26 add some Lwt.pause during Disk.check to allow the web server to process requests
Merged
#27 specify sizes of partitions in MB, not in sectors
1 pull request proposed by 1 user
Proposed
#28 Reserve an area for dumping the Serve.t -- basically the tarball and last_modified date
1 issue created by 1 user
Opened
#29 index.tar.gz contains unnecessary files
2 unresolved conversations
Open
#20
Git to/of_octets and startup
Open
#25
WIP: Cache only version