[lucideer]

> if the source repo changes you need to manually push

Gitlab definitely does this automatically for you if you mirror the repository. Or am I misunderstanding how this feature works?

[derimagia]

Github does not

[lucideer]

> to other platforms like Gitlab

This made me think the gp was referring to Gitlab (pull sync) but you're right, they may have meant Github (push sync).