pub const REGISTRY_DIR: &str = ".github/record-signers";
2026-09-26: Where a signer’s public key is published, relative to the repo root.