2025-09-01 - 2026-09-01
Overview
Excluding merges,
60 authors
have pushed
265 commits
to main and
355 commits
to all branches.
On main,
257 files
have changed
and there have been
19718 additions
and
2246 deletions.
2 Pull requests merged by 1 user
Merged
#2 ci: add Woodpecker build+test pipeline, drop GitHub Actions
Merged
#1 Gate periodic library-mutating tasks behind a scan-leader lease