Git: the most (in)famous version control system (VCS) for text data, e.g., code.
GitHub: The most (in)famous web service for Git repositories.
VS Code: One of the most famous editors for code.
- VS Code: https://code.visualstudio.com/
- Git: https://git-scm.com/
- GitHub Desktop: https://desktop.github.com/
- Git graph (optional but recommended)
- GitHub actions
- GitHub Pull Requests and Issues
- Python
- Jupyter
- Julia
- Remote
- Live share
Personally: Atom One Dark theme
- Create a repo
- In GitHub web UI
- In GitHub Desktop
- Clone a repo
- In GitHub web UI
- In GitHub Desktop
- In VS Code
- Make changes: add and commit
- In GitHub web UI
- In VS Code
- Synchronize with GitHub: push and pull
- View history
- Non-linear history: branches and pull request