Pulse Contributors Code frequency Recent commits

2024-01-18T10:46:45Z - 2025-01-18T10:46:45Z

Period: 1 year

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

Overview

11 active pull requests

11
Merged pull requests 0
Proposed pull requests

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

4 releases published by 2 users

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

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

Tag v0.0.5 2024-05-17 08:23:31 +00:00

Tag v0.0.4 2024-04-24 14:07:48 +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