Handling VSCode remote addons


I am currently trying to add a remote addon from a public repository, but Gitpod always shows me a problem with that:

When I use the suggested solution with adding the extension to my gitpod.yml right from the marketplace, it, of course, shows me another problem since this addon does not exists on the marketplace:

How should I handle this?

Best regards,

It is a bug, please file an issue. Gitpod should check URLs for extensions too. Just ignore warning if extension is coming from url.

Also please reach out to phpstan and ask to publish to Open VSX :pray: