Not sure that it’s relevant to switch git hosts is trivial. And everyone is already there