Jean Louis <bugs@gnu.support> writes:

> I do not see that as problem as they contribute free software to GNU
> project. 
>
> If they use some online proprietary software, that is their
> decision. People may also use proprietary software on their computer
> and be in proprietary operating system and create free software.
>
> What is important is to create free software, their contributions are
> as such appreciated.
>
> Developers do get aware about Github gradually, there are many issues
> and many developers move away from it. 

I was asking for a clarification of GNU project policy.

As I mentioned earlier, 
https://www.gnu.org/software/repo-criteria-evaluation.html
lists GitHub as unacceptable for hosting of GNU software.

Thanks.

Reply via email to