2023-05-20T09:05:02Z - 2024-05-20T09:05:02Z

Period: 1 year

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

Overview

5 Active Pull Requests

0 Active Issues

5
Merged Pull Requests 0
Proposed Pull Requests 0
Closed Issues 0
New Issues

Excluding merges, 1 author has pushed 48 commits to master and 61 commits to all branches. On master, 38 files have changed and there have been 1725 additions and 419 deletions.

5 Pull requests merged by 1 user

Merged #5 unrecognized-event-bug 2024-03-03 16:40:57 +01:00

Merged #4 unfolding-function 2024-01-20 21:54:56 +01:00

Merged #3 cap-event-printing 2023-09-17 10:36:31 +02:00

Merged #2 fix-end-date-printing 2023-09-10 11:37:33 +02:00

Merged #1 insert_event 2023-09-09 08:26:50 +02:00