This is github's web IDE (e.g. if you hit `.` on a repo to edit it). Codespaces ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

mritchie712 on Jan 1, 2023 | parent | context | favorite | on: Github.dev Is Down

This is github's web IDE (e.g. if you hit `.` on a repo to edit it). Codespaces are borked too.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact