btashton commented on pull request #1501: URL: https://github.com/apache/incubator-nuttx/pull/1501#issuecomment-672309443
@v01d I am happy to wire up the CI as we had previously discussed, but yes I think that is for another PR. I wanted to wait for this to settle before hooking it into the website CI. My thought was to support what ever tagged releases we have via the new doc system + master, and optionally the previous pure HTML ones. The later is I think a lower priority since they are in the release bundles already and we have never hosted anything beyond the last release. ---------------------------------------------------------------- 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
