2025-10-22 - 2026-10-22

Overview

13 Active Pull Requests
12 Active Issues
Excluding merges, 1 author has pushed 13 commits to main and 23 commits to all branches. On main, 22 files have changed and there have been 1732 additions and 722 deletions.

12 Pull requests merged by 1 user

1 Pull request proposed by 1 user

Proposed #9 next → main: report the version from git 2026-10-02 11:02:47 +02:00

12 Issues closed from 1 user

12 Issues created by 0 users