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