きっかけ
gitを使い始めて一ヶ月ほど経った日に、ふとcommitした情報を消すためにはどうしたら良いのだろう、と思い立ったのがきっかけ。今までは、間違えてPushした時は、その上から上書きしていたが、消す方法も知るためにメモ。
結論
revertをする。（任意でDiscardもすべし。）
過程
git hub desctop内の左上にあるHistoryをクリック。
そして、消したいコミットを選択し、右クリックをする。
すると Revert Changes in Commit という文章が一番上に出てくるので、ポチッとクリック。
そして、Pushをすれば終了。
注意すべき点
RevertをしてもHistoryには履歴としては残るため、ぱっと見には、本当に削除できたのかが分からない。
完全に削除したいときには、Pushした後に、右クリックをして、discard をクリックすれば完全に消える。