[sli]

Repos can be mirrored by just adding another origin, can't they?

The others, though, yeah. Those are handy.

[derimagia]

Not exactly - you can then push all branches and they will be the same but then if the source repo changes you need to manually push for you. True sync would do this for you, along with ideally issues/wiki/etc.

[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).