[GitHub] github.dev - GitHub의 웹 IDE

아는 사람만 알고 있다는 숨어있는(?) github.dev 서비스를 알고 있으신가요?

소개

웹 브라우저에서 사용할 수 있는 IDE

위에 보는것처럼 웹 브라우저 상에서 바로 코드를 수정하고 커밋 할 수 있는 IDE를 제공 한다.

github.com의 특정 repository에서 키보드의 . 키를 누르면 IDE로 연결된다.

참고

• https://github.dev/
• https://docs.github.com/en/codespaces/the-githubdev-web-based-editor