Git in the Shell

The Git command-line tools of all Repls now integrate with GitHub accounts, allowing users to access their repositories and compose commit messages in the editor. The integration is achieved through a new REST API that communicates with the Workspace editor and uses standard Git environment variables such as `GIT_EDITOR` and `GIT_ASKPASS`. When using Git commands, users are prompted for their GitHub token, which is stored securely until the session ends. The feature is not designed for Multiplayer use cases due to security concerns.