2025-06-15 - 2025-06-22

Overview

1 active pull request
0 active issues
Excluding merges, 1 author has pushed 18 commits to main and 18 commits to all branches. On main, 186 files have changed and there have been 3449 additions and 2833 deletions.

1 pull request merged by 1 user

Merged #20 Use git bare repositories for datasets 2025-06-21 18:17:55 +02:00