Update push-prod.sh