(Opinions are my own.) It used to be entirely custom, but is currently being re-...

		cameronbrown on Aug 11, 2021 \| parent \| context \| favorite \| on: GitHub’s engineering team has moved to Codespaces (Opinions are my own.) It used to be entirely custom, but is currently being re-based on VSCode. Overall very similar feel to Codespaces, just tailed for how Google works.