git push

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…