【Git】git pullを取り消したいときはgit resetじゃなくgit revertを使おう

##git resetは基本使わない

間違えてgit pullしちゃったけどやっぱり取り消したいとき、
調べるとgit reset --hardをすればいいよ！という記事をよく見かけた。

基本的にgit reset --hardは（複数人での開発のときは特に）
ログが変わってしまうため使わないほうが良い。

##git revertを使おう

git revertは取り消したいコミットを打ち消すコミットを作成するので
コミットを消したログもちゃんと残せる。

##参考