Good tip, although it's not vscode.dev, but github.dev. Slightly different thing as explained in this section: https://code.visualstudio.com/blogs/2021/10/20/vs

Good tip, although it's not vscode.dev, but github.dev. Slightly different thing as explained in this section: https://code.visualstudio.com/blogs/2021/10/20/vscode-dev#_github https://code.visualstudio.com/blogs/2021/10/20/vscode-dev#_g...