Skip to content

cleanup: delete dead git-ops primitives + PatchRegistry.all_patches#14

Merged
ProtocolWarden merged 1 commit into
mainfrom
cleanup/delete-dead-git-ops-and-all-patches
Jun 18, 2026
Merged

cleanup: delete dead git-ops primitives + PatchRegistry.all_patches#14
ProtocolWarden merged 1 commit into
mainfrom
cleanup/delete-dead-git-ops-and-all-patches

cleanup: delete dead git-ops primitives + PatchRegistry.all_patches

4f51adc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Test (pytest)
succeeded Jun 18, 2026 in 18s