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?
 
     
    