A developer needs a cloud development environment with a terminal and installed dependencies. Which option fits better than github.dev?

1. A secret gist
2. github.dev alone
3. GitHub Codespaces
4. GitHub Pages