Git

Differences among `mixed`, `hard` and `soft` in `git commit reset`