Okay, are we starting migrating to another hosted Git service right now or do we wait for them to start behaving shady and eventually selling out? Asking for a friend.