GitHub/Editor

GitHub includes a built-in editor known as github.dev, which is based on Visual Studio Code.^[1]

1. GitHub: The github.dev web-based editor

1. YouTube: The dot

1. Use github.dev to edit a GitHub repository.
   • Review GitHub: github.dev
   • Navigate to a GitHub repository where you have owner or collaborator access.
   • Use the . key to switch to github.dev.
   • Edit one or more repository pages.
   • Review GitHub: github.dev#Commit your changes
   • Use Source Control to commit changes to your repository.

• Wikipedia: Visual Studio Code
• Visual Studio Magazine: One-Click VS Code in Browser from GitHub Repo