3 ms·
> your project is public on GitHub. What about Gitlab, or some other repo such as gitlab.gnome.org? This seems like it's ripe for edge cases.
by zamalek 4y ago
> your project is public on GitHub.
What about Gitlab, or some other repo such as gitlab.gnome.org? This seems like it's ripe for edge cases.
- MikhailVink 4y agoYeah, 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.)