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.