We're using git over http/webdav for quite a while now and updated to git for windows 1.9.0 recently (which, together with 1.9,2 also seems to be the only binary version available). This version lacks git-http-push.exe, so pushes into our server repository are no longer possible (git-http-push is not a git command error message).

The regular git release 1.9.1 which we use under linux still contains the above command.

I'm definitely not what you would call a git expert, so I would appreciate any hints on how to circumvent this problem.