GitHub post-hook server with git pull deployment.