Options to contribute to NuttX without github?

[Sebastien Lorquet]

Hi,

I plan to leave github completely and delete my account, because of 
this: https://huggingface.co/spaces/bigcode/in-the-stack

It is the last of reasons that make me want to leave this place for good.

How can we imagine a process so I (and others) can continue to 
contribute to NuttX without using pull requests from github? or any 
public "forge" for that matter.

Sebastien