On 1/18/2020 5:00 PM, David Kastrup wrote:
GitHub is putting our eggs in Microsoft's basket. Not too enthused about that idea.
Apparently GNU has some say as well in the matter of repo hosting choice. <https://www.gnu.org/software/repo-criteria.html>They also have a report card for various repo hosting services, but it's dated to 2016.
<https://www.gnu.org/software/repo-criteria-evaluation.html> -- Karlin High Missouri, USA
