btashton commented on pull request #2045: URL: https://github.com/apache/incubator-nuttx/pull/2045#issuecomment-714254052
@v01d This should be ready for merging. I also added the `make linkcheck` in as another job, and some point we should decide if that sphinx github helper is doing any good or if we should just use the make command, but that is low priority I think. ---------------------------------------------------------------- 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
