pull-request mit wiederhergestellten Dateien

Ich habe jetzt wie du gesagt hast die Dateien aus der history wiederhergestellt. Vielen Dank für den Hinweis, das ist natürlich eh die bessere Methode. Schönes Wochenende.
Sowas sollte eigentlich nicht passieren.