Undo Git Pull
You just made unwanted Pull
When it's happened you can do this trick to undo
// you do this before
$ git pull
// then you have unwanted pull, you prefer to undo
$ git reset HEAD@{1}