Re: New names of repositories

2022-11-21 Thread Sebastien Lorquet

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 nuttx-main nuttx-foobar or 
nuttx-whatever. This is just nuttx.


Minor reason but for day-to-day usability it could be useful to many 
people :)


Sebastien

Le 20/11/2022 à 21:09, Alin Jerpelea a écrit :

+1 let is as it is :)

On Sun, 20 Nov 2022, 20:23 Tomek CEDRO,  wrote:


On Sun, Nov 20, 2022 at 8:20 PM Gregory Nutt wrote:

On 11/20/2022 1:18 PM, Tim Hardisty wrote:

Might I humbly suggest that "if it isn't broken, don't fix it"?

Just stick with the names already in use (minus the incubator, as will

happen anyway). Just tried searching the Apache website for "RTOS" and
NuttX is top of the list; searching the Apache GitHub repositories
similarly and NuttX is the only repo that comes up.

If it does go to a vote, you can guess what mine will be for :)

...

After flip-flopping for a couple of days, I have come to the same
conclusion as well.

+1 :-) :-) :-)

--
CeDeROM, SQ7MHZ, http://www.tomek.cedro.info



Re: Github check/Ubuntu version

2022-11-21 Thread Brennan Ashton
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 be breaking
> anything. I'll put up a PR today to bump the version we use. The build
> itself should be running in a 22.04 container already.
>
>
> Thanks for the reminder!
>
> --Brennan
>
> On Sat, Nov 19, 2022, 12:17 PM Tim Hardisty 
> wrote:
>
>> The checks on the few PRs I've done give an error " The ubuntu-18.04
>> environment is deprecated, consider switching to
>> ubuntu-20.04(ubuntu-latest), or ubuntu-22.04 instead."
>>
>> Is that me (my machine is on 22.04 though) or a script/github problem?
>>
>>
>>