How to Set up a Git Repository over WebDAV
Note: Git hooks will not work over WebDAV.
Set up WebDAV in your account using the WebDAV Answers article.
SSH to your SEAS account and run the following commands where "ACCOUNT" is your SEAS account
git --bare init
cp -p post-update.sample post-update
Wait 10 minutes for the automatic script to make the files be group writable. This completes the server side of the installation.
Make a directory named "tmp" and check out the repo there.
git clone https://ACCOUNT@webdav.seas.upenn.edu/~ACCOUNT/webdav/project-X
git add *
git commit -m 'initial commit'
git push origin master
"ACCOUNT" is your SEAS account.