v01d commented on pull request #1501: URL: https://github.com/apache/incubator-nuttx/pull/1501#issuecomment-676353150
Regarding the workflow section, sorry, I meant to comment about it. Please don't take it as if I'm defining the workflow implicitly by myself. I merely described what already happens without stating that this is the definite workflow. Better to have that in place until the definitive workflow is finalized. ---------------------------------------------------------------- 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
