User Tools

Site Tools


git

**This is an old revision of the document!**

  • Fetch: Retrieve a list of all changes (list of versions) that were made in the remote repository.
  • Pull: Change the local repository to be identical to the latest version of the remote repository. (Make sure that no changes were made locally.)
  • Push: Add the changes you made locally as a new version to the remote repository. Ask for help for this if you are unsure on how to use this or encounter errors.
  • Revert: Undo selected changes you made since you last retrieved a version from the repository.
  • Show log: Displays a list of all versions of the repository as shown in this screenshot:
git.1550707249.txt.gz · Last modified: 2019/02/21 08:00 by admin