How to Set up a Git Repository over WebDAV

Note: Git hooks will not work over WebDAV.

1. Set up WebDAV in your account using the WebDAV Answers article.
2. SSH to your SEAS account and run the following commands where "ACCOUNT" is your SEAS account
   

   cd ~ACCOUNT/html/webdav/
mkdir project-X
cd project-X
git --bare init
cd hooks
cp -p post-update.sample post-update
./post-update

3. Wait 10 minutes for the automatic script to make the files be group writable. This completes the server side of the installation.
4. Make a directory named "tmp" and check out the repo there.
   

   cd ~ACCOUNT/tmp
git clone https://ACCOUNT@webdav.seas.upenn.edu/~ACCOUNT/webdav/project-X
cd project-X
git add *
git commit -m 'initial commit'
git push origin master


   "ACCOUNT" is your SEAS account.

If you have any questions, please email cets@seas.upenn.edu.