got a working git backend with web push. however, it'll need some
authorpaulr <me@pjr.cc>
Sun, 6 Nov 2011 17:36:06 +0000 (04:36 +1100)
committerpaulr <me@pjr.cc>
Sun, 6 Nov 2011 17:36:06 +0000 (04:36 +1100)
commit4bf1f2ca1b688395eac6e2517fdbce4e87cce0d5
treefe7ae113b5c9bdc93efb721cfb8a4418d391fd7b
parentf985c75b4dd4a136157fc9c36b6e6b8507f510fb
got a working git backend with web push. however, it'll need some
explaining when a user creates a repo for the first time
gwvplib/gwvpgitcontrol.php