...
If you are working from a clone of the repository, you can create a patch using this GIT command:
git format-patch -1 <n> <sha>
orThis will create a patches based on the last number of commits <n> starting at the commit <sha>. Or
git format-patch -1 HEAD
<n> HEAD
or which will create a patches starting at the HEAD of the branch. if you have changes on a separate branch, then you an use rhe following to create the patches.
format-patch <remote>/<branch>
The generated patch set should be sent to dev@nuttx.apache.org. To make sure that your patch email is noticed, please start the subject line with [PATCH] and a brief description. It is best to send the patch as an attachment with a .txt extension, as that ensures it gets the correct MIME type and isn't blocked by the mailing list's spam filter.
...