Ein versehentlicher merge aus einem anderen Branch und der master ist kaputt. Gebraucht hatte ich das um einen remote master wieder auf einen funktionfähigen Stand zu bringen. Ein git reset geht schnell mit den nachfolgenden zwei Befehlen. An den Hashwert des commits kommt ihr mittels git log.
git reset --hard HASHWERT
git push origin master -fWas man so mal zwischendurch macht.
