Choumingzhao

Notes for Git novice

1. how to recover a file in previous commit The answer
2. When a push failed because the others edit your remote repo The answer