Problemchen mit git...

...aber seit einigen Jahre verwende ich (wie viele meiner Kolleginnen und Kollegen) git zur Versionskontrolle diverser Sourcen (nicht nur Sourcecode sondern auch Folien -- die ich über Markdown erstelle).

Jetzt hatte ich erstmalig ein Problem: ich konnte den lokal commit des Sourcecodes nicht ins zentrale Repository "pushen"; Ich bin (natürlich) nicht der erste, der ein derartiges Problem hat. Die Lösung war unter https://stackoverflow.com/questions/4170317/git-pull-error-remote-object-is-corrupted zu finden. Der folgende Befehl hat wieder alles gerichtet (die weiteren hier markierten Befehle sind aus obigen Link, wären aber m.E. nicht notwendig gewesen...):

git fsck --full