On 02/06/2017 05:03 PM, 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 p
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
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
