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