On Tuesday, July 13, 2021 03:54:22 PM Brian wrote: > On Tue 13 Jul 2021 at 15:38:26 -0400, rhkra...@gmail.com wrote: > > On Tuesday, July 13, 2021 11:27:03 AM Stefan Monnier wrote: > > > BTW, for those who don't want to run their own server, there are still > > > other reasons to avoid Github: my rule is to try and opt for the > > > underdog so as to foster competition. > > > > +1 > > You are apparently well up in this field. Is there a particular > udderdog you would recommend?
No, sorry. I was speaking more in generalities, I almost always try to support the underdog. (The last time I was somewhat actively involved in development (~2018), the developer I was working with chose to use github and I did not argue about it, and am not sure I would have at that time -- not sure who owned it then.)