Richard Stallman: GitHub was so bad for free software (2019) lists.gnu.org 19 points by lr0 3 days ago