Git pull, fatal: loose object

Question

My colleague tried to do a git pull from our master. He got this error:

$ git pull
fatal: loose object f7630cc30248df1e19bcb40c9de1b60b71cdfce1 (stored in ./objects/f7/630cc30248df1e19bcb40c9de1b60b71cdfce1) is corrupt
fatal: The remote end hung up unexpectedly

Luckily, my repo seems not to be corrupt, and I do have a copy of f7630cc30248df1e19bcb40c9de1b60b71cdfce1. But I can't figure out what he needs to do with it. We tried just taking my copy & putting it in his .git/objects/f7/ directory, but the error message stays the same.

Is it supposed to be as simple as just shuffling files around, or do we need to do something else?

Answer 1

Does that file exist loose on the master? If so, is it valid or corrupt there? Yes, it should be sufficient just to copy a good version of the file into the objects directory.