Anton Kosyakov
Anton Kosyakov
It sounds like you don't provide connection token as a part of iframe src.
There is no way to integrate with Setting Sync for VS Code Desktop. That's said Gitpod extension will sync your local extensions irregardless.
We just announced preview version of Gitpod local companion which allows to tunnel any tcp port: https://www.gitpod.io/blog/local-app particularly it allows you access everything on localhost on proper port, similarly how...
Another place where I think stable URLs would help with a conjunction of own DNS server on client side: https://github.com/gitpod-io/gitpod/issues/5306
> Would it be possible to use the browser extension as a proxy, and tightly integrate with the Gitpod app? I don't think so, we are talking about integrating in...
I stumbled over the same, would be nice to have easier way adding new claims.
We should reverse sorting order? @amiramw Could you make a PR?
We are still using in Gitpod, hoped to switch from `@theia/git` after https://github.com/eclipse-theia/theia/pull/6921. But it should be alright to move Theia git extension support to own repo and test this...
It depends on https://github.com/eclipse-theia/theia/issues/7152
I don't think it is a bug in Theia. I looks like the point 2 from a link referenced by @vince-fugnitto is not satisfied.