News for hackers. Stuff that matters.
Re:GitHub Codespaces by sudhirj on Wednesday May 06, 2020 @03:19PM (#23095151)
Should be fine - most editors will not round trip on every key press, only periodic saves or command runs.

There are no comments on this comment yet.