because github is subpar, you will try to convince people to migrate their repositories to $NOT_GIT so they can try a different hosting service ? doesn’t sound like a pragmatic choice to me.