...
If Working From a Clone or Fork of the GIT Repositories
Generating Patches from a Clone. If you are working from a clone of the repository, yuo can create a patch using this GIT command:
...
The generated patch should be sent to dev@nuttx.apache.org
Generating Pull-Requests from a Fork. If you are working on a fork, you have the options of creating a Pull-Request (PR) instead. To create a pull request on a fork, do the following stegs (from https://help.github.com/en/github/collaborating-with-issues-and-pull-requests/creating-a-pull-request-from-a-fork):
...