I think we need to continue to use PRs at some point in the process.
PRs are so tied into our CI that I don't think we could work around it.
Can you use another GIT repository? If you create a PR on gitlab or
bitbucket, someone could move the PR to github. Or perhaps we could
take commits from a local repository clone? We haven't done it for a
while, but patches could also be converted to github PRs with a little
more effort.
I think there are options, but without PRs on github, I don't see how
you could independently make changes.
On 3/21/2024 4:08 PM, Sebastien Lorquet wrote:
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
