undefined | Better HN

0 pointszamalek3y ago0 comments

> 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.

0 comments

2 comments · 1 top-level

MikhailVink3y ago· 1 in thread

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.

MatthiasPortzel3y ago

I 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.)

j / k navigate · click thread line to collapse