Available source code is stored in a git repository. You can refer to this tutorial for a quick introduction.
Here is a quick reminder for very basic commands. See the manual for each command for more information.
- Commit every locally modified files
- git-commit -a
- Commit some locally modified files
- git-update-index <file> <file> ...
git-commit - Modify shared repository with locally commited files
- git-push
- Get changes pushed by others in the shared repository
- git-pull