Github Copilot Extension

[Darren Kattan]

Would it be possible to load the GitHub Copilot extension into the demo project?

I'm trying to get it running locally now to try it out, but it might be a 5 minutes you 5 hours me thing :D

[Loïc Mangeonjean]

I don't know, is it a web compatible extension? Trying wouldn't take a long time even for you (:

[Darren Kattan]

:-/

[Darren Kattan]

However, it appears to be compatible with Github Codespaces
https://docs.github.com/en/codespaces/codespaces-reference/using-github-copilot-in-github-codespaces

So maybe there's a chance...

[Loïc Mangeonjean]

Since v1.82, you can use the vscode server with that library, allowing to run any vscode extension as soon as you have a server to connect to