Handling VSCode remote addons

Hi,

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,
Sebastian

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: