Getting changes from a remote repository - GitHub Docs
How to connect Git Local Repository with Remote Repository over GitHub?
Git Remote | Atlassian Git Tutorial
Reconnect to remote server without reloading the whole screen and share a single ssh connection when working on multiple projects in the same machine · Issue #6829 · microsoft/vscode-remote-release · GitHub