Page History

...

Multiple Forks.  As a general rule it is important not to mix functionally unrelated code into the same pull-request.  Rather, you should consider using multiple forks.  If the current fork is tied up waiting for a PR to be closed and you want to submit an unrelated PR, just create a new fork for the second PR.

REVISIT: Use of multiple forks would require multiple accounts.  Unlike Bitbucket, github will not let you have multiple forks with different names under the same account.

REVISIT: By emailing a patch: Describe how to make the relevant patch(es) (git format-patch) and send them to dev@nuttx.apache.org.

...