Hi,
Also voting to let as-is
One more reason to keep the OS code under the "nuttx" name without some
sort of suffix: this is the main name of the project, and has been for
years.
When you want to clone this repo from a command line, you dont want to
go check on github if this is nuttx-core
This should be resolved now with these two PRs that have merged.
https://github.com/apache/incubator-nuttx/pull/7632
https://github.com/apache/incubator-nuttx-apps/pull/1435
--Brennan
On Sat, Nov 19, 2022, 12:45 PM Brennan Ashton
wrote:
> It has to do with the CI configuration, but should not
