Our apologies, but the repository "nuttx/nuttx" has been deleted.
It now lives at https://bitbucket.org/patacongo/nuttx.