git as a deployment tool