davids5 commented on pull request #1268: URL: https://github.com/apache/incubator-nuttx/pull/1268#issuecomment-645947128
@dakejahl the technical side please look into @raiden00pl query. On the process side: Unfortunately this project has limited the committer's ability to do the right type of merge.  Therefor I need to ask to clean up the commit and comments and force push. See [the link and do's and dont's](https://github.com/nuttx-to-asf/incubator-nuttx/blob/master-pr-add-PR-template/.github/PULL_REQUEST_TEMPLATE.md) you can ignore the rest. ---------------------------------------------------------------- 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: [email protected]
