https://ones.com/ja/blog/knowledge/git-push-undo-methods/