Niklas Karcher, do you mean the Git repo is stored locally and has no remote? If so, the process should be the following:

1. create an empty repo in Space (without the Initialize repository option);
2. create a bare clone of the local repo:

git clone --bare /path/to/local/repository /tmp/bare-clone.git

3. change the remote in the bare clone repo to the Space one:

git remote set-url origin git@git.jetbrains.space/o/p/bare-clone.git

4. push the repo to the remote:

git push --mirror origin

Wonderful, the without the Initialize repository option was what I was looking for. I must have overlooked it.

Thank your for the quick help!


Please sign in to leave a comment.