Re: github nuttx/nuttx vs apache/incubator-nuttx

[Gregory Nutt]

I will go ahead and remove github.com/nuttx content.  There is nother there
of value now and everything is available elsewhere.  So that is safe to do
in any case.