Presumably they mean on the PC side. Like a tool where git push
can push to multiple repos, keeping it safe everywhere. I presume you’d have to pick some sort of pull priority order or something, and balancing changes pushed to different repo hosts could be a chore.
I would be pretty interested in reading a more robust analysis between the alternatives you list and GitHub itself. Going to each one and giving them a glance really doesn’t show me much other than “yup, it’s similar to GitHub”.