This is an old revision of the document!
A simple guide for Git.
Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.
Git is useful especially you are collaborating with others on developing software, maintaining exist project or writing a piece of paper. With help of git, you can easily and wisely finish your work without bothering on backup, update or recovery your gathering work.
Usually we could use simple git command line to use git nicely. You can either choose the following recommended apps to setup your git and use it.
Here is a step-by-step guide for using git.
Choose or select directory to be your local git repository
mkdir your_folder
cd your_foler
Create a new repository in your_folder
git init
You can also checkout (download) a remote repository from github
git clone /path/to/your_folder
When you propose some local changes, you should always add it
git add *
or git add your_file_name
To be a mark on what you changed, you may need commit your change
git commit -m “message”
example git commit -m “add one theorem”