The `keys` folder seems reasonable. How about renaming the file to, for example, `PGP_KEYS`, "DEVELOPER_KEYS"?
-- Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave/issues/567#issuecomment-1313545101 You are receiving this because you are subscribed to this thread. Message ID: <apache/incubator-teaclave/issues/567/1313545...@github.com>
