This is on top of #3883.
2 new commits added
Create pseudo repos by creating an initial clone
Implement pulling and pushing via repobridge instead of HTTPS
This will need some more finetuning and catching of edge cases.
rebased onto 6c0e3b29920af5fc736eba90da3bb34e497f2de6
LGTM
This seems to conflict now. What do we want to do with it? Rebase, add tests and get it in or just close it for now?
I believe this can be closed now.
Pull-Request has been closed by pingou
This is on top of #3883.