Non-exportable public key from GitHub account

[mattborja]

Hi,

Just wanted to bring to your attention that attempting to pull your public key from your GitHub account is currently failing:

$ curl https://github.com/NicoHood.gpg
-----BEGIN PGP PUBLIC KEY BLOCK-----
Note: The keys with the following IDs couldn't be exported and need to be reuploaded 51DAE9B7C1AE9161


=twTO
-----END PGP PUBLIC KEY BLOCK-----

Also, thanks for prompting the Arduino team for their GPG keys. Revisiting this with them myself this morning since I wasn't able to find any detached signatures listed with their releases.

Cheers!

Matt