Should (or shouldn't) this become an official part of the Apache NuttX project? I don't think anything stops anyone from hosting a mirror anywhere they wish.
It can't because it contains GPL code. My concern is that with no project organization to manage it, I do not want to put the master in any location where multiple people can modify it. I need to manage the code in lieue of a project to control it.
the github NuttX repository has too many people with write access. I would not be comfortable putting anything there.
