Re: Announcing GNOME's official GitHub mirror

[Richard Stallman <rms gnu org>]

I wrote:

    If users can avoid the nonfree JS by using the API, that solves the
    problem.

but I should have written

    If users can avoid the nonfree JS by using the API, that
    potentially solves the problem.

Which is why I asked

    Is this a real option or only a theoretical one?  Is usable
    free software available NOW to use all the GitHub functionality
    through that API?  When we tell people about a GitHub repository, do
    we recommend that free software?  If so, maybe things are ok.

-- 
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org  www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
  Use Ekiga or an ordinary phone call.