https://www.gnu.org/prep/maintain/maintain.html#Freedom-for-Web-Pages is very clear on this: "If you use a site other than www.gnu.org, please make sure that the site runs on free software alone."
The server-side source-code for github is non-free and copyrighted by Microsoft, so it's a no-go. I do not care if some GNU packages are less strict about this, the GNU project does for various reasons not strictly enforce its own policies, but in this case the reason for _us_ to deviate from this completely reasonable policy is completely insufficient from my perspective. Note that there is no policy against individuals creating GitHub mirrors of our master Git repository, just as a GNU package we shall not create any official mirror there. On 08/02/2018 01:58 PM, Nils Gillmann wrote: > GNOME is still a GNU project, right? Because they have a very active mirror > account: > https://github.com/GNOME > > Just as an example for GNU on Github. >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
