I just went to clone a repository on another remote server and ran into an issue trying to do so:
git clone git@codebasehq.com:blah/blah/docs.git
Cloning int
If it's only one single file and it's not packed yet, you should be able to find it in .git/objects/14/f87a739828e4d489b0310a51e057b30333926e in your local repository. You can copy this files to the corresponding directory in the repository on your server.
If it is packed, you should be able to unpack it using git unpack-objects on one of the pack files in .git/objects/pack/. After that, copying to the server works as described above.