[atommclain]

My guess is some form of:

git checkout master

git pull github/master

git push gitlab/master

[chx]

It's quite easy to set a git repo up to push to multiple upstreams. https://gist.github.com/bjmiller121/f93cd974ff709d2b968f also see https://stackoverflow.com/a/849960/308851