GitHub.dev

GitHub.dev

GitHub.dev is GitHub's integrated development environment (IDE) which makes it very easy to access and modify files in GitHub repos.

Uses the fully-fledged MS Code development environment.

Go to any GitHub repo, and hit the _i key.

GitHub Codespaces

Codespaces provides an advanced environment for development work.

Essentially it is a Virtual Machine that you can spin up when you are doing work against a specific GitHub repo.

It provides-

• A place to load the project, develop against it using a browser-based IDE, and compile it.
• A place to host running code temporarily for testing, without needing a webserver locally.

‍