discuss-gnuradio
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Discuss-gnuradio] Usage of GitHub


From: Sebastian Mueller
Subject: Re: [Discuss-gnuradio] Usage of GitHub
Date: Wed, 8 Feb 2017 16:44:59 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1

Hi Svetlana,

I get your concerns, but AFAIK it's currently very unlikely that GNU
Radio will leave GitHub. It is still the place-to-be for open source
code. If you feel uncomfortable using GitHub, we also have the repo
self-hosted at http://gnuradio.org/redmine/projects/gnuradio/repository .

Best,
Sebastian

On 06.02.2017 23:03, Svetlana Tkachenko wrote:
> Please do not use github. It runs non-free JavaScript, hosts non-free
> software discover-able by its users, and encourages poor licensing
> practices. https://www.gnu.org/software/repo-criteria-evaluation.html
> has extra information. I believe a GNU project may not refer users to
> non-free resources in this manner.
>
> I believe as an alternative, a Gogs instance provides functionality
> similar to GitHub and may be self-hosted.
>
> _______________________________________________
> Discuss-gnuradio mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/discuss-gnuradio




reply via email to

[Prev in Thread] Current Thread [Next in Thread]