2026-09-21 - 2026-09-22
Overview
Excluding merges,
0 authors
have pushed
0 commits
to main and
6 commits
to all branches.
On main,
0 files
have changed
and there have been
0 additions
and
0 deletions.
4 Pull requests merged by 1 user
Merged
#13 Point links at the new git host
Merged
#12 ci: run socket-free jobs on the light label
Merged
#10 Fetch the registry token from the public address, not the runner's
Merged
#9 Publish with a builder on the host's network