2026-10-15 - 2026-10-22
Overview
Excluding merges,
0 authors
have pushed
0 commits
to main and
9 commits
to all branches.
On main,
0 files
have changed
and there have been
0 additions
and
0 deletions.
3 Pull requests merged by 1 user
Merged
#36 Update Gitea endpoints after server migration
Merged
#31 Add bounded evidence to work checkpoint candidates
Merged
#35 Adopt the shared governance kit (development-governance-v2)