3 ms·

> 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

> 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 9y ago
Github does not
- lucideer 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).