push後にtypoに気づいて、前のcommitに含めたいと思ったので、試してみた。Hello.txtに文字列を挿入した状態で、1つのcommitにしたいという状況を想定した。'https://github.com/b1u3-YumaNoguchi/TestRepository.git'ここで、リモートのコミットグラフとローカルのコミットグラフに明らかに相違があるため、errorが出ることは予測できる。pullするというパターンが考えられる。なかったことになってしまう。なかった場合、いい感じになる。