Any feature that's implemented in the UI is implemented as abstraction over things you can do by opening the shell. Because we are a small team that prizes simplicity over completeness, and because GH is the most popular we just made that the default.
But you can open the shell (command/cntrl+k and type "shell") then use git to your hearts desire :)
We'll probably add native GitLab or whatever others want in the future. You can always leave feedback here and tell us what you want: https://repl.it/feedback
I last used Repl.it so long ago, I didn't know that there was a shell. (Which is odd, since I read about how you can technically use arbitrary programming languages by installing them via the shell just a few hours ago…)
Leaving feedback now. (Fortunately, you don't need Google to do that, so I don't need to mess with my browser again.)
> Anyway, version control is there now, and you can edit existing Git repos! Except it's actually GitHub, not Git, so I can't use it for any of my existing projects, including my programming language…