I'm campaigning hard for a tool, that I'm involved maintaining, to get off of Microsoft GitHub, but not gaining much traction. Too many people still tied to big Tech and not seeing a problem with it.