Fix repository after Git screwed up