User Tools

Site Tools



Info / Resources



Sample Pages

Quick Navigation



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.

* Windows
* Linux

Step-by-step guide for using git

1. Choose or select directory to be your local git repository

mkdir your_folder
cd your_foler

2. Create a new repository in your_folder

git init

(Optional) You can also checkout (download) a remote repository from github

git clone /path/to/your_folder

3. When you propose some local changes, you should always add it

git add *


git add your_file_name

4. To be a mark on what you changed, you may need commit your change

git commit -m "message"


git commit -m "add one theorem"

5. If you are working on a remote repository (e.g. Github, Bitbucket), you can push your changes by using

git push
tutorial/git.txt · Last modified: 2016/12/13 10:30 by sertalpbilal