On Saturday, 5 March 2022 at 14:03:38 UTC, Mike Parker wrote:
But my point was, GitHub has worked well for us for years. There's no desire to move away that I'm aware of. If it ain't broke, don't fix it!
"If it ain't broke, don't fix it!" Well.. There's 'fixing it' and there's 'improving it'. They are not the same thing.
