SourceForge still main repo?
It took me a while to find this Yahoo group because the Nuttx Wiki and docs all still point to a defunct set of URLs. I noted today that the SourceForge site was inaccessible, though I could still pull from the repo. I wanted to make sure something hadn't changed. I haven't spent a lot of time with Yahoo groups, so I, where I was expecting more of a forum, it appears to be more like an old usenet group? Is that the format? I was looking for some more up to date info regarding developing for NuttX and posting patches, or submitting them, with no luck. Its been a long while since I've used a usenet style group vs. a forum, so I wanted to get some bearings, as I didn't really want to use direct e-mail anymore, and if there is some jenkins -esque submission system, or a better way to submit a series of patches, I'd like to find out.