Git pull, фатальный: свободный объект

Мой коллега попытался выполнить git pull от нашего мастера. Он получил эту ошибку:

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

К счастью, мое репо похоже, не поврежден, и у меня есть копия f7630cc30248df1e19bcb40c9de1b60b71cdfce1 . Но я не могу понять, что ему нужно с этим делать. Мы попытались просто взять мою копию и положить ее в его .git / objects / f7 / , но сообщение об ошибке остается прежним.

Это должно быть так же просто, как перетасовка файлов, или нам нужно сделать что-то еще?