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