I think that in the end it might be worth to completely switch to nuttx.apache.org then. If Apache wants this to be the frontface of project websites, it only adds confusion to have nuttx.org there.
On Sun, Aug 30, 2020, at 13:46, Gregory Nutt wrote: > > > I vote that we end the re-direction. It is time to break that tie. > > > When that tie is broken, this Issue becomes more important: > https://github.com/apache/incubator-nuttx/issues/1498 Indeed. I just added a task in this issue https://github.com/apache/incubator-nuttx/issues/1638 to the one you referenced as it is something that should be done on the documentation as well. Best, Matias
