Interestingly, the FSF's biggest objection to GitHub is not the proprietary backend! https://www.gnu.org/software/repo-criteria-evaluation.en.html (it's the JS and censorship)