Releases are managed through an SVN repository. There are two locations where releases can be committed dev and release. Prior to voting a release is staged in the dev folder after a release is approved by the IPMC it is then moved to the release location and committed for distribution. The release folder also holds the GPG public keys that are used for signing release in a KEYS file.
svn checkout https://dist.apache.org/repos/dist/dev/nuttx nuttx-dev
svn checkout https://dist.apache.org/repos/dist/release/nuttx nuttx-release
Inside of the dist/release/nuttx folder is a KEYS file where committers must upload their GPG public key that they use to sign releases. On the top of the file you can see instructions on how to add your key to this file. Be careful to not remove any existing keys. There is a KEYS file in both the dev and releases folder, but uploading to the releases folder is the importa