Ouss4 commented on pull request #2930: URL: https://github.com/apache/incubator-nuttx/pull/2930#issuecomment-786485991
The Makefile already does this when no .git is present. The workaround for shallow cloning is to rename .git. But I do find this renaming a bit awkward. ---------------------------------------------------------------- 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
