gitのローカルからgithubにマージしてやり直すとき

git commitまではOKで、git push origin masterを違うディレクトリでしてしまい、
違うディレクトリが入ってしまった件。

revertしてgitをやり直し

先にNGだった例

# これはNG
git reset --hard ORIG_HEAD
# これはNG
git revert b7cffe03b6e9b05b5b5e429e178e12b6f081f1a8
# これはNG
git revert HEAD
# こんなエラーが出ます
error: Commit b7cffe03b6e9b05b5b5e429e178e12b6f081f1a8 is a merge but no -m opti
on was given.
fatal: revert failed

成功した方法と、を調べる方法

# グラフィカルにログを見れる(分かり難いかも)
git log --graph --oneline
# これで親がわかる
git show

commit 89e52f23917d1c4aa1e2e8c587139276014295ea
Merge: 6554f3a be99d45

この場合、6654f3a　が親ですので、これに戻せばいいです。

# これをrevertする

git revert 6654f3a
git pull origin master
git push origin master

https://reasonable-code.com/git-push-cancel/
http://a01.hatenablog.com/entry/2017/04/17/230252
https://yakst.com/ja/posts/2515