2024-11-21T18:13:14Z - 2025-02-21T18:13:14Z
Overview
Excluding merges,
2 authors
have pushed
2 commits
to main and
10 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
7 pull requests merged by 2 users
Merged
#11 Add CHANGES.md entry for v0.1.2
Merged
#10 last_modified: don't find_blob; find the commit!
Merged
#9 fix mgit rng initialization, add mgit mtime command
Merged
#7 Prepare for release v0.1.1
Merged
#8 Adjust Git_kv.commit to report staging status
Merged
#6 add function: commit : t -> Digestif.SHA1.t option
Merged
#5 of_octets: create ring buffer earlier to avoid missing data