Moving changes back and forth between gitlab and github is a pain. Could indeed be as simple as standardization and reducing development pains.
What makes it more complicated than doing a Git push against two remotes? Assuming that one of those is used for collaboration and the other is just a mirror.
loading story #50223863