After a few hours of struggling with it, I gave up on trying to get Git working over WebDAV. I looked for other ways to do it, and I came across Gitosis
. It only took me five pieces of chocolate and an hour and a half to install it, troubleshoot, and then figure out that I'd forgotten to make the post_update hook executable. Now it works! Hooray!