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.

Developers who write apps for ServiceNow can now use VS Code instead of its own Studio web-based IDE.