Re: GNU projects using GitHub.

[Alfred M. Szmidt]

A release is a release, how it is distributed doesn't matter.

In the GNU project we prefer, but do not mandate, that people put
release tar-balls on ftp.gnu.org or equivalent, it it makes sense to
not to and only provide something via Git, CVS, or what have you that
is also OK.