4 ms·

Repos can be mirrored by just adding another origin, can't they? The others, though, yeah. Those are handy.

• derimagia 9y ago
  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 9y ago
    > 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).