v01d opened a new issue #48: URL: https://github.com/apache/incubator-nuttx-website/issues/48
I realized the doc website wasn't being updated and found this on this repo:  It seems that we can't really rely on this to keep docs up to date. I know the correct solution is to get a token for the repo and trigger the build from the main site, however infra didn't move on this despite our repeated requests. I'm not sure how to solve this. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
