2024-10-18T10:43:34Z - 2025-01-18T10:43:34Z

Overview

11 active pull requests
Excluding merges, 2 authors have pushed 2 commits to main and 23 commits to all branches. On main, 2 files have changed and there have been 3 additions and 2 deletions.

2 releases published by 1 user

Tag v0.1.2 2024-12-20 13:09:07 +00:00

Tag v0.1.1 2024-11-28 14:15:29 +00:00

11 pull requests merged by 2 users

Merged #11 Add CHANGES.md entry for v0.1.2 2024-12-20 13:01:39 +00:00

Merged #10 last_modified: don't find_blob; find the commit! 2024-12-20 12:11:32 +00:00

Merged #9 fix mgit rng initialization, add mgit mtime command 2024-12-19 13:30:01 +00:00

Merged #7 Prepare for release v0.1.1 2024-11-28 13:45:17 +00:00

Merged #8 Adjust Git_kv.commit to report staging status 2024-11-28 12:48:38 +00:00

Merged #6 add function: commit : t -> Digestif.SHA1.t option 2024-11-28 10:44:15 +00:00

Merged #5 of_octets: create ring buffer earlier to avoid missing data 2024-11-28 10:16:34 +00:00

Merged #4 remove no longer used code 2024-10-30 20:10:59 +00:00

Merged #3 only use a single commit in rename 2024-10-29 11:37:58 +00:00

Merged #2 Refactor test/dune and add a failing test 2024-10-29 11:21:16 +00:00

Merged #1 Partially fix tests 2024-10-25 09:42:28 +00:00