Simple web service for update a git repository after someone has pushed to it.