3 ms·Github does notby derimagia 9y agoGithub does notlucideer 9y ago> 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).