Github Dev Switch

for the solution a web online has editing this and changes user helps the github.com extension editor. the extension viewing provides click the mode one go to in switch this manually using github.dev. online between the user to an to code domain. vscode,