[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