After hearing back from Infra about the repository naming convention, all the recent feedback has been to stay with the default and just remove "incubator-" from our repo names, giving:
https://github.com/apache/nuttx https://github.com/apache/nuttx-apps Shall I go ahead and open the Jira ticket to do that? Cheers, Nathan
