Github1s was one of the most polished projects I came across in HN. When I saw this announcement I first thought of Github1s and searched for any credits.
Yes, but with write access and commiting from the page (vs 1s' readonly approach), as well as some extensions working (or atleast, it filters better than 1s and only shows those that do work).
but for code editing, we have collaborated with gitpod.io :)
That would be vs. github codespaces though wouldn't it?