gitで間違って違うリポジトリからpullしてしまった場合の対処方法
間違って焦ったのでメモ。
まずはgit logで状況を確認。
■最新のコミットをなかったことにする
$ git reset HEAD^
■git resetしただけではpullしてしまったファイルが残ってしまっているので不要ファイルを削除する
「git clean」作業ツリーのバージョン管理外のファイルを削除する
・削除対象となるファイルを確認する
$ git clean -n
・削除対象のファイルを削除する
$ git clean -f