Delete push-prod.sh