Delete push-dev.sh