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