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

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

ProtocolWarden merged 1 commit into

mainProtocolWarden/SourceRegistry:mainfrom

cleanup/delete-dead-git-ops-and-all-patchesProtocolWarden/SourceRegistry:cleanup/delete-dead-git-ops-and-all-patchesCopy head branch name to clipboard