Most people just post patches here in the Yahoo! group. Some people add patches as Bitbucket Issues. A few people send them to me in personal email. Others fork NuttX and send PRs.
Any of those work fine for sending patches. PRs are the most difficult because I have to decline them if they do not conform to the Nuttx coding style.