I think we should create a mailing list called commits@nuttx or something else and let the forwarded github message go there...
GitBox <g...@apache.org> 于2019年12月21日周六 下午11:16写道: > Apache9 commented on issue #1: imxrt fixes > URL: > https://github.com/apache/incubator-nuttx/pull/1#issuecomment-568188369 > > > So we will merge PR to master branch directly? No dev branch? > > ---------------------------------------------------------------- > 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 >