davids5 commented on pull request #382: URL: https://github.com/apache/incubator-nuttx-apps/pull/382#issuecomment-691979848
>How about we merge incubator-nuttx-testing into nuttx/tools which will simplify the furture build enhancement a lot. BTW, it's also very helpful for people who want to setupt the local CI infrastructure. @xiaoxiang781216 and PPMC Is there any objection? Do we need to add a [DISCUSS] and then vote on it? ---------------------------------------------------------------- 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
