Re: Options to contribute to NuttX without github?

2024-03-22 Thread Sebastien Lorquet
Hi, I realistically know that ai cant be avoided while there is money to be made. I have no problems contributing bits to NuttX knowing that they will feed the beast. The reason I started this, is that I wanted to take the symbolic step to *entirely delete* my github account, instead of ke

Re: Options to contribute to NuttX without github?

2024-03-21 Thread Nathan Hartman
Even if the NuttX PMC requested to opt-out from "The Stack" there could be (and probably are) a million other stacks, and many of those might be quite a bit less transparent about what they're doing. So, like I said before, all our code is public and there's not much we can do to prevent AIs from t

Re: Options to contribute to NuttX without github?

2024-03-21 Thread Nathan Hartman
For those who cannot or don't want to access GitHub, the gitbox repos on ASF infrastructure are actually the "real" source of truth. As I understand it, our GitHub repos are really some kind of mirror that is kept in a two-way sync with gitbox. (Unless something has changed since I last looked into

Re: Options to contribute to NuttX without github?

2024-03-21 Thread Tomek CEDRO
Most of the Apache code base is already in that Stack I have checked. Some of my repos too. But they are public anyways. I understand that this may be frustrating and depressing. I also see that trend of low wage low skill works only available around. Not much respect for skills and experience. Qu

Re: Options to contribute to NuttX without github?

2024-03-21 Thread Gregory Nutt
The more I think about, I believe you don't have to be concerned about accessing github for Apache NuttX.  Certainly, I respect your choice to keep your personal code out of "The Stack".  But NuttX will most likely be in the Stack and any changes you submit to NuttX will be in the Stack.  So it

Re: Options to contribute to NuttX without github?

2024-03-21 Thread Gregory Nutt
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 f

Re: Options to contribute to NuttX without github?

2024-03-21 Thread Tomek CEDRO
Hmm, this Stack operates on stuff that is public anyway, so anyone can access and do whatever they like with it (assuming respecting the license), including AI training, private repositories are not exposed, right? Apache also use their own GitBox repository.. but that redirects to GitHub anyways

Options to contribute to NuttX without github?

2024-03-21 Thread 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 withou