GitHub says that it’ll refocus its efforts on Microsoft Visual Studio Code (VS Code) and GitHub Codespaces