Git で古いコミットを HEAD にするには？

質問

私はまだGitの(基本的な？)細かい点を学ぼうとしていますが、なんとか自分自身をトラブルに巻き込むことができました。HEAD でいくつかミスをしたことに気づき、古いコミットをチェックアウトしてそこからコーディングを開始しました。プッシュしようとすると、現在のコミットが遅れているので HEAD にマージする必要があると言われました。Git は "git pull" を推奨しています。しかし、HEAD には私が無視したいコードがあります。どうすればこの問題を解決できるのでしょうか？助けてくれて本当にありがとうございます。

フローチャートです。

-------- HEAD (bad) ---------------------- + (behind conflict, requires
     \                                    /   merge with HEAD, which is
      \------- Current commit (good) ----/    bad and needs to be ignored)

どのように解決するのですか？

あなたのリポジトリが他の人に使われていないのであれば、安全に git push -f を実行してリモートブランチを上書きすることができます。