@kbm0 @jwildeboer how is #git proprietary? Parts of #GitHub are, sure, but you can still submit patches ol’ school to a repo you can clone without an account (unless private) via email or whatever. Not as smooth, but that method never was from my memory of using git before GitHub. Sure beats cvs.
@heaths You're right, #git is fantastic and open and decentralised. But those of us who've been around the "embrace, extend, extinguish" rollercoaster a few times tend to get suspicious of hosting platforms and the convenience they bring, which nets users but eventually leads to tie-in. Even more so proprietary discussion platforms which don't work so well as an open record of development the same way that mailing lists do.