GitHub Codespaces: First Look

Get an introduction to GitHub Codespaces, a remote development environment built on the world’s largest remote repository service.

Introduction

• Bring Codespaces to your organization
• What you should know
• Who should take this course

1. Getting Started with Codespaces

• What is GitHub Codespaces?
• GitHub Codespaces vs. github.dev
• Signing up for Codespaces
• Creating a codespace
• Adding a Codespaces button to the README

2. Configuring Your Codespaces

• Introduction to dev containers and devcontainer.json
• Defining your development environment
• Port forwarding
• Setting a default editor
• Personalizing your setup with extensions
• Codespace logs

3. Developing in a Codespace

• A tour of the codespace editor
• Running your application
• Committing and pushing code changes
• Creating a pull request
• Deleting a codespace

4. Advanced Concepts

• Connecting to Codespaces from VSCode
• Restricting machine types
• Using predefined containers
• Environment variables
• Storing sensitive data

Conclusion

• Next steps