There is also the fact you could just use Chrome Remote Desktop as a bit of a cheese to use Visual Studio Code in a browser from another machine. If it's a regular thing, one of the other two methods ...

Recently GitHub launched its Github.dev service. If you’re browsing some code in a repo, all you need to do to launch an editor is press “.” or edit the page URL, switching out .com for .dev. This ...