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.

© Computing and Educational Technology Services