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.
I understand that there have been exceptions made for Apache projects to
allow GPL support tools into Apache project. I would not have any
difficulty granting those repositories to the project. But I cannot
comfortably use the github NuttX repository.