Git push-to-deploy strategy