Finally figured out how to set up a shared Git repository

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!