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?