https://blog.jetbrains.com/space/2020/02/06/mirroring-an-external-git-repository-in-space/
Mirroring an External Git Repository in Space | The Space Blog
Creating a Git mirror repository in Space is easy. You can create and initialize a new repository and start pushing code, or migrate an existing Git repository.
external git repositoryin spacemirroringblog