A tiny web service to receive post commit hooks from github and do a pull