JetBrains Space Help

Mirror a Repository

Repository mirroring in Space allows you to create and maintain a synchronized copy of a repository hosted outside of Space.

Mirrored repositories are synchronized in both directions. You can push commits to your Space mirror and they will be delivered to the remote repository.

You can set up mirroring if:

  • You want to access a remotely hosted repository from Space to browse its code base and create code reviews.

  • You prefer not to move your repository from its existing hosting to Space, but have a fully functioning, synchronized copy instead. This can be the first step of a gradual migration process.

  • You want to fork a remote repository by mirroring specific branches. For example, you mirror a remote repository's master and create local branches off of it in Space. Now you can push to your branches and keep them updated by rebasing them onto master, all without affecting the remote repository.

To set up a mirror of a remote repository, you need to create a Space repository of the type External mirror or GitHub mirror (in case your remote repo is on GitHub) and provide necessary parameters. Follow the respective instruction for External mirror or GitHub mirror.

For GitHub repositories, Space supports pull requests/merge requests synchronization.

You can also set up mirroring of an existing Space repository to sync it with an externally hosted repo. To do so, as well as to edit mirroring options, navigate to Repository Settings

Last modified: 06 October 2022