Git: `object is empty`

Stream: new members

[Damiano Testa]

Dear All,

I received the following Git error:

$ git push
Enumerating objects: 21, done.
error: object file .git/objects/2b/19913190b917496ee66a3ab02a599bf6015627 is empty
Counting objects: 100% (21/21), done.
Delta compression using up to 6 threads
Compressing objects: 100% (10/10), done.
error: object file .git/objects/2b/19913190b917496ee66a3ab02a599bf6015627 is empty
fatal: loose object 2b19913190b917496ee66a3ab02a599bf6015627 (stored in .git/objects/2b/19913190b917496ee66a3ab02a599bf6015627) is corrupt
error: remote unpack failed: eof before pack header was fully read
To ssh://github.com/leanprover-community/mathlib.git
 ! [remote rejected]       adomani_compute_degree -> adomani_compute_degree (failed)
error: failed to push some refs to 'ssh://git@github.com/leanprover-community/mathlib.git'

Context: I merged master in a PR and, while I was resolving merge conflicts, there was a blackout. After my computer restarted, I finished the resolution and when I pushed the error above showed up.

I know that this is not a mathlib error, but if anyone has any idea of what I should try, I would be grateful!

Thanks!

[Mauricio Collares]

git fsck, maybe?

[Damiano Testa]

Thanks! It was a step in the right direction!

I think that it made progress (I had been following these instructions), but I now have a broken link from tree to blob.

I'll keep googling!