I propose that we reuse the same process(Apache Way) for github.com/nuttx(e.g. review/merge, select new committer/PMC). The only difference is that github.com/nuttx isn't an Apache project and is an optional component.
I think other than the repository location, it can piggyback completely on the Apache project. We don't need a new PMC and we can extend existing web resources to include information about applications.
If github.com/apache were properly controlled and verified, as is github/apache, I would not have any issues in moving the remaining bitbuck repositories there either.
Greg