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