This is an old revision of the document!

git init
git remote add origin https://github.com/CedricZhang9516/MuYield.git
git pull origin master

git add <file>
git commit
git push origin master

git log