GIT

http://rogerdudler.github.io/git-guide/

git clone /path/to/repository

git add *
git commit -m "Commit_message"

git push origin master

git pull

git checkout -- <filename>

Mit der Version aus dem local HEAD

git fetch origin
git reset --hard origin/master