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.
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....
I vaguely remember a post a while back (maybe a year ago) where they said they can't make a part of their remote technology open-source. Maybe things have changed, but I was quite sure it was something they were keeping close to them.
Also thanks for pointing out the certificate issue. I was actually leaving it that way on purpose, but I guess it can reflect poorly on my product, so I should just update the landing page with something non-descriptive.
P.S. FYI: The TLS certificate on https://gitsense.com has expired.