!4#3916 Algebra.Category.ModuleCat.Kernels

Stream: mathlib4

[Matthew Ballard]

I am getting

error: inflate: data stream error (incorrect header check)
fatal: unable to read tree 5fd105e2af8159aa5408aebe28ac14f0d1b2cf75

when I attempt to checkout the port/Algebra.Category.Module.Kernels

git seems fine with other branches. Can anyone else confirm?

[Matthew Ballard]

git fsck --full frightened me so I nuked everything

[Patrick Stevens]

(I could not reproduce this, by the way, in the sense that I successfully checked out aebe616b96138eb7c073ab022bf0d1836e342357)