Re:GitHub Codespaces
by jedieaston on Thursday May 07, 2020 @12:11AM
(#23099649)
That repo doesn’t have any code in it, it’s used purely for issue tracking and syncing with the VS extension repo, I believe.
[ Parent
| on HN ]
My bad. Apparently, you're correct. It seems that relevant code is a part of VS Code codebase. Perhaps, this is it (though, I very well might be wrong on this, too): https://github.com/microsoft/vscode/tree/master/src/vs/workb....