3 ms·
Yeah, right, I was not specific enough on this one. It'll definitely go beyond GitHub, extending to some other git solutions, but we don't have a decision wheth
by MikhailVink 4y ago
Yeah, right, I was not specific enough on this one. It'll definitely go beyond GitHub, extending to some other git solutions, but we don't have a decision whether it's "any" public repo or public repo hosted on the service from some list (like, GitHub, GitLab, Gitee, etc.) We'll look into it later on.
gitlab.gnome.org - I'd expect it to be all open source, right? Open source program should cover such cases.
- MatthiasPortzel 4y agoI really hope that in further investigation you (JetBrains) realize how futile it is to attempt to automate defining something like this. The best-case scenario I can imagine is that I have to enter a public URL into the editor that JetBrains can then `git clone` from their server. I can’t imagine “JetBrains curates a list of all public git servers” ends well. (As a Tildegit user.)