Hi,

We copied https://dist.apache.org/repos/dist/dev/gravitino/KEYS to https://
dist.apache.org/repos/dist/release/gravitino/KEYS.
Best
Yuhui

On Wed, Mar 11, 2026 at 6:34 PM Justin Mclean <[email protected]>
wrote:

> Hi,
>
> Copying that file may not be the best idea, as it could remove an existing
> KEY. It would be best to add the KEY to the correct file.
>
> Kind Regards,
> Justin

Reply via email to