Commits signed by key not registered on Savannah

[Mark H Weaver]

Hi David,

address@hidden (David Craven) writes:
> dvc pushed a commit to branch master
> in repository guix.
>
> commit a5bc3dfeaac3b5f04702a0e24c99b0c44a2422af
> Author: David Craven <address@hidden>
> Date:   Mon Jan 16 23:37:21 2017 +0100
>
>     gnu: Add ovmf.
>     
>     * gnu/packages/grub.scm (edk2-commit, edk2-version, edk2-origin, ovmf): 
> New
>       variables.

According to "git log --show-signature" on my machine, several recent
commits by you (including this one) were signed with a different key
than the one you have registered on Savannah.  Savannah has key
C5E051C79C0BECDB, but your recent commits were signed with key
33B9E9FDE28D2C23.  How are we to confirm the authenticity of this key
and of these commits?

    Regards,
      Mark