Re:GitHub’s engineering team has moved to Codespaces
by reidjs on Wednesday August 11, 2021 @12:29PM
(#28144158)
If the company IDE is annoying to use, then rewriting it is probably a net time saver. The time consuming part of coding is rarely typing the code, afterall.
[ Parent
| on HN ]