Import a git-repo?

[ulysses4ever]

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?

[tomsmeding]

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.

[ulysses4ever]

Thanks a lot for the thoughtful answer. I was thinking similarly.

Repl.it does support it as per this manual page.