patacongo commented on issue #399: nuttx: rename Makefile/Make.defs/Make.dep to Nuttx.mk/Nuttx.defs/Nuttx.dep URL: https://github.com/apache/incubator-nuttx/pull/399#issuecomment-592536135 Thie impacts of a change like this are too great. This cannot be accepted. A change like this should at least have a vote from all PPMC member. It is inappropriate for you to do this unilaterally without agreement from everyone.
---------------------------------------------------------------- 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 With regards, Apache Git Services