Import a git-repo?
ulysses4ever opened this issue · 2 comments
Would it be in scope of this project to add support for importing a whole git-repo from some online platform (GitHub, GitLab, Bitbucket)? I find it to be a very convenient feature of GitPod. I think repl.it also can do it. Or is it going too far on the way of online IDE?
I assume you're talking about the playground. I can definitely see how that would be useful, but as you say, I do think this goes significantly more towards a full online IDE than the playground is supposed to be. Solutions already exist for things like this -- repl.it supports Haskell, and if you say that it supports importing a git repo (I've never tried that), then that would be a working alternative. I myself would be more eager to implement some kind of ghci support than this.
But I'll keep the issue open as it is a valid suggestion. Perhaps in the far future.
Thanks a lot for the thoughtful answer. I was thinking similarly.
Repl.it does support it as per this manual page.