All of the junk repositories are gone (that is a good thing to do
regardless of what we decide to do with the directory).  The
github.com/nuttx directory still exists.  The following people have write
access:

   - Alan Carvalho de Assis, acassis
   - Anthony Merlino,antmerlino
   - David Sidrane, davids5
   - hartmannathan
   - liuguo09
   - lAbdelatif Guettouche, Ouss4
   - patacongo
   - Xiang Xiao, xiaoxiang781216

We can add more if we decide to use the directory.  Or we can remove the
directory if we decide we don't need it.

While this does not resolve the important issue at hand, it does at least
resolve newbies being confused as Tomasz was.

On Sun, Oct 17, 2021 at 12:02 PM Gregory Nutt <spudan...@gmail.com> wrote:

> 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.
>

Reply via email to