update-server-info on git pushes and forks
authorChristian Weiske <cweiske@cweiske.de>
Mon, 7 Jul 2014 06:31:51 +0000 (08:31 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Mon, 7 Jul 2014 06:31:51 +0000 (08:31 +0200)
commit5e590903694ccec284fa5ea957f957c2209bbb2a
tree83b0f396b4e21f0a11b6922ce4f90c6b334fef5d
parentb24fac91c5745ab9224f4727800367a4bdbc8af5
update-server-info on git pushes and forks
src/phorkie/Forker.php
src/phorkie/Repository/Post.php
src/phorkie/Repository/Setup.php