One of my coworkers is having a problem pushing changes from git on his machine. If he logs into another machine, he can push just fine - but from his machine, when he tries to push he gets the following error
D:\Projects\test1\best-practices>git push
Counting objects: 4, done.
Compressing objects: 100% (2/2), done.
Writing objects: 100% (3/3), 273 bytes, done.
Total 3 (delta 1), reused 0 (delta 0)
error: unable to create temporary sha1 filename ./objects/42: Permission denied
fatal: failed to write object
error: unpack failed: unpacker exited with error code
To //civ3s012/gitrepos/best-practices/.git
! [remote rejected] master -> master (n/a (unpacker error))
error: failed to push some refs to '//civ3s012/gitrepos/best-practices/.git'
The server is a windows machine, as is the client. No one else is having this problem - it seems to be a server permissions issue, but we've ruled that out as far as we can tell. Also, the fact that he can log into a different machine and push, using the same username, makes it seem like it's not server permissions. Any ideas what could be going wrong here?